Michael Mauderer 64043323e8 A drop-down that allows changing the execution mode. (#6130) ... Implements https://github.com/enso-org/enso/issues/5931. https://user-images.githubusercontent.com/1428930/228532453-2032b376-1aa5-4140-8331-be37e4e675d4.mp4 # Important Notes Not functional yet, as it needs integration with the engine.		2023-04-18 10:26:17 +00:00
..
gui	A drop-down that allows changing the execution mode. (#6130)	2023-04-18 10:26:17 +00:00
ide-desktop	Allow opening dev-tools using keyboard shortcut in Electron (#6262)	2023-04-17 16:33:39 +00:00