mirror of
https://github.com/enso-org/enso.git
synced 2024-11-27 18:12:31 +03:00
b977b5ac01
Implements #5933: adding tooltips to the buttons next to nodes. To make the UI consistent, I've added tooltips to the `ToggleButton` class directly, since whenever you have an icon button, it seems helpful to have a tooltip. `ToggleButton` is only used for the profiling button in the top-right corner and the buttons next to nodes. The output context switch button [isn't implemented yet](https://github.com/enso-org/enso/issues/5929), but once it is, adding a tooltip should be one-liner. ![Recording 2023-03-22 at 17 21 58](https://user-images.githubusercontent.com/607786/226972920-81033b37-001f-49eb-9fc6-453120f01760.gif) |
||
---|---|---|
.. | ||
gui | ||
ide-desktop |