Michael Mauderer e81d1e3eea Fix visualizations sometimes not opening with space bar. (#5624) ... Visualizations closing right after opening was caused by the GUI being unresponsive during loading of some visualizations. This caused the timer for measuring the time between space bar press and space bar release to be inflated. The delayed events triggered the "visualization preview mode”, thus closing the visualization has it seemed that the space bar was held down, even though the events just arrived with some delay. The problem is mitigated by considering the number of frames that have passed between the space and down and the space bar up event, instead of just the wall clock time. If the number of frames is too low, this indicates that frames were dropped to the time is inflated. Fixes https://github.com/enso-org/enso/issues/5223		2023-02-17 11:33:21 +00:00
..
component-browser	Bump rustc to nightly-2023-01-12 (#4053)	2023-02-02 23:05:25 +00:00
debug_scene	Port graph editor to new AST (#4113)	2023-02-10 18:05:40 +00:00
documentation	Make font size in the documentation panel smaller (#5654)	2023-02-14 11:41:09 +00:00
graph-editor	Fix visualizations sometimes not opening with space bar. (#5624)	2023-02-17 11:33:21 +00:00
src	Roll back last VCS snapshot (#4050)	2023-02-16 18:14:34 +00:00
welcome-screen	Bump rustc to nightly-2023-01-12 (#4053)	2023-02-02 23:05:25 +00:00
Cargo.toml	Port graph editor to new AST (#4113)	2023-02-10 18:05:40 +00:00