mirror of
https://github.com/enso-org/enso.git
synced 2024-11-27 06:03:23 +03:00
90e3f9ccef
This PR replaces statusbar and popup components with the new notification API. I have moved debug mode status notification to the bottom of the window, so it is separate from other notifications. ![obraz](https://github.com/enso-org/enso/assets/1548407/0e28bdd5-3567-4d8c-b580-d53099a00715) ![obraz](https://github.com/enso-org/enso/assets/1548407/47468d56-c4fc-4a0a-876d-2b059509a29c) ![obraz](https://github.com/enso-org/enso/assets/1548407/359dd764-305a-4a75-b9a4-75674bcc9990) |
||
---|---|---|
.. | ||
engine.rs | ||
graph_editor.rs |