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 |
|