enso/app/gui/controller
Michael Mauderer 0d84a601dd
Ability to change the execution environment between design and live. (#6341)
Integrate the UI for electing the Execution Environment with the Language Server and unify existing uses. Implements  #5930 + actual integration instead of just mocking it.

https://user-images.githubusercontent.com/1428930/232919438-6e1e295a-34fe-4756-86a4-5f5d8f718fa0.mp4

# Important Notes
The console output is only emitted as part of the `INFO` level. A better check would be to look at the messages sent to the backend in the developer console.
2023-04-25 20:28:15 +00:00
..
double-representation Implement hiding context switch expression in graph editor (#6136) 2023-04-04 17:25:46 +00:00
engine-model Build script merge (#3743) 2022-10-10 23:38:48 +02:00
engine-protocol Ability to change the execution environment between design and live. (#6341) 2023-04-25 20:28:15 +00:00
src Build script merge (#3743) 2022-10-10 23:38:48 +02:00
Cargo.toml New IDE build script (#3466) 2022-05-23 04:16:04 +02:00