mirror of
https://github.com/enso-org/enso.git
synced 2024-11-22 22:10:15 +03:00
4be2c7b65b
Fixes #7259 Node label (and output port in general) used to depend on view-mode logic, which is currently not fully functional. Since we have removed profiling mode from the application, It's best to remove some remaining parts of it to avoid them from interfering. Labels now work as they used to, being shown on hover or when ctrl is held down. ![image](https://github.com/enso-org/enso/assets/919491/5e6996a4-6d84-4d36-a624-03a53f7e6e8a) |
||
---|---|---|
.. | ||
gui | ||
ide-desktop |