somebody1234 42db519a43 Disable shortcuts in modals (#7602) ... - Fixes https://github.com/enso-org/enso/issues/7600 - Prevents all `keydown` events from propagating out of modals # Important Notes None		2023-08-18 09:39:25 +00:00
..
gui	Use Enso Font (#7516)	2023-08-17 18:36:12 +00:00
ide-desktop	Disable shortcuts in modals (#7602)	2023-08-18 09:39:25 +00:00