Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

dune_console: make refresh rate configurable and default INSIDE_EMACS to 15 #8812

Conversation

Alizter
Copy link
Collaborator

@Alizter Alizter commented Oct 2, 2023

We make the refresh rate of the dune console configurable from dune_config. The default value is 60 frames per second like before but now we also default to 15 if INSIDE_EMACS is set. I've also validated the range between 0 < x <= 1000 which is arbitrary but I don't see any use case for such large frame rates. This is also very useful for testing dune console.

src/dune_config/config.ml Outdated Show resolved Hide resolved
@Alizter Alizter force-pushed the ps/branch/dune_console__make_framerate_configurable_and_default_inside_emacs_to_15 branch 2 times, most recently from bf1ad8c to 1a6f167 Compare October 2, 2023 15:07
@Alizter Alizter force-pushed the ps/branch/dune_console__make_framerate_configurable_and_default_inside_emacs_to_15 branch 2 times, most recently from f7a569e to d6f260c Compare October 2, 2023 17:47
src/dune_tui/dune_tui.ml Outdated Show resolved Hide resolved
@Alizter Alizter force-pushed the ps/branch/dune_console__make_framerate_configurable_and_default_inside_emacs_to_15 branch from d6f260c to 3913542 Compare October 2, 2023 21:11
@rgrinberg
Copy link
Member

Can you add a CHANGES entry?

@Alizter Alizter force-pushed the ps/branch/dune_console__make_framerate_configurable_and_default_inside_emacs_to_15 branch from 828a04b to b07e02d Compare October 11, 2023 01:58
@Alizter
Copy link
Collaborator Author

Alizter commented Oct 11, 2023

I've added a chnagelog entry. I don't really know what to do about the "copy pasted code" as I am not sure where it should live.

Signed-off-by: Ali Caglayan <alizter@gmail.com>
@Alizter Alizter force-pushed the ps/branch/dune_console__make_framerate_configurable_and_default_inside_emacs_to_15 branch from b07e02d to 2d89802 Compare October 11, 2023 16:09
@Alizter
Copy link
Collaborator Author

Alizter commented Oct 11, 2023

@rgrinberg I've moved frames_per_second to Dune_util and now the code is shared between TUI and progress.

@Alizter Alizter requested a review from rgrinberg October 11, 2023 16:09
@rgrinberg rgrinberg merged commit 4e3c17f into ocaml:main Oct 11, 2023
20 checks passed
@Alizter Alizter deleted the ps/branch/dune_console__make_framerate_configurable_and_default_inside_emacs_to_15 branch October 11, 2023 19:36
emillon added a commit to emillon/dune that referenced this pull request Nov 28, 2023
Signed-off-by: Etienne Millon <me@emillon.org>
emillon added a commit that referenced this pull request Nov 28, 2023
Signed-off-by: Etienne Millon <me@emillon.org>
emillon added a commit to emillon/opam-repository that referenced this pull request Nov 28, 2023
CHANGES:

- Introduce `$ dune ocaml doc` to open and browse documentation. (ocaml/dune#7262, fixes
  ocaml/dune#6831, @EmileTrotignon)

- `dune cache trim` now accepts binary byte units: `KiB`, `MiB`, etc. (ocaml/dune#8618,
  @Alizter)

- No longer force colors for OCaml 4.03 and 4.04 (ocaml/dune#8778, @rgrinberg)

- Introduce new experimental odoc rules (ocaml/dune#8803, @jonjudlam)

- Introduce the `runtest_alias` field to the `cram` stanza. This allows
  removing default `runtest` alias from tests. (@rgrinberg, ocaml/dune#8887)

- Do not ignore libraries named `bigarray` when they are defined in conjunction
  with OCaml 5.0 (ocaml/dune#8902, fixes ocaml/dune#8901, @rgrinberg)

- Dependencies in the copying sandbox are now writeable (ocaml/dune#8920, @rgrinberg)

- Absent packages shouldn't prevent all rules from being loaded (ocaml/dune#8948, fixes
  ocaml/dune#8630, @rgrinberg)

- Correctly determine the stanza of menhir modules when `(include_subdirs
  qualified)` is enabled (@rgrinberg, ocaml/dune#8949, fixes ocaml/dune#7610)

- Display cache location in Dune log (ocaml/dune#8974, @nojb)

- Re-run actions whenever `(expand_aliases_in_sandbox)` changes (ocaml/dune#8990,
  @rgrinberg)

- Rules that only use internal dune actions (`write-file`, `echo`, etc.) can
  now be sandboxed. (ocaml/dune#9041, fixes ocaml/dune#8854, @rgrinberg)

- Do not re-run rules when their location changes (ocaml/dune#9052, @rgrinberg)

- Correctly ignore `bigarray` on recent version of OCaml (ocaml/dune#9076, @rgrinberg)

- Add `test_` prefix to default test name in `dune init project` (ocaml/dune#9257, fixes
  ocaml/dune#9131, @9sako6)

- Add `coqdoc_flags` field to `coq` field of `env` stanza allowing the setting
  of workspace-wide defaults for `coqdoc_flags`. (ocaml/dune#9280, fixes ocaml/dune#9139, @Alizter)

- [coq rules] Be more tolerant when coqc --print-version / --config don't work
  properly, and fallback to a reasonable default. This fixes problems when
  building Coq projects with `(stdlib no)` and likely other cases. (ocaml/dune#8966, fix
  ocaml/dune#8958, @Alizter, reported by Lasse Blaauwbroek)

- Dune will now run at a lower framerate of 15 fps rather than 60 when
  `INSIDE_EMACS`. (ocaml/dune#8812, @Alizter)

- dune-build-info: when `version=""` is found in a `META` file, we now return
  `None` as a version string (ocaml/dune#9177, @emillon)

- Dune can now be built and installed on Haiku (ocaml/dune#8795, fix ocaml/dune#8551, @Alizter)

- Mark installed directories in `dune-package` files. This fixes `(package)`
  dependencies against packages that contain such directories. (ocaml/dune#8953, fixes
  ocaml/dune#8915, @emillon)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants