enso/app/gui/config
Kaz Wesley c9806496ee
Rendering improvement/debugging support (#6019)
Some small improvements relating to rendering:

- Add a debug option: `-debug.pixel-read-period`. This can be used to measure the performance impact of checking the pointer location on different hardware. [On my development box, it makes no difference to performance.] (Closes #5490).
- Unbind pixel pack buffers after each use. This is recommended practice. It has no performance impact on my machine, and allows SpectorJS to run (`-debug.enable-spector`). (Closes #5941).

Also, simplify the profiling CLI: the `profile.load-profile` and `profile.save-profile` options have been renamed to `profile.load`/`profile.save`; `profile.save` now has a default filename, so you can capture a profile at any time in Electron with Ctrl+Alt+P and it will be written to `profile.json`.
2023-03-21 06:34:24 +00:00
..
src Fixing Electron runner (#5633) 2023-02-19 01:37:58 +01:00
build.rs Rendering improvement/debugging support (#6019) 2023-03-21 06:34:24 +00:00
Cargo.toml Fixing Electron runner (#5633) 2023-02-19 01:37:58 +01:00