mirror of
https://github.com/enso-org/enso.git
synced 2024-11-24 00:27:16 +03:00
38d7fbb94d
When the types indicator was added the header template did not include the burger menu for the column. This adds the menu to the column header. ![image](https://github.com/enso-org/enso/assets/170310417/c71cc799-1177-4cd6-af83-b5d2ce3ecd46) |
||
---|---|---|
.. | ||
gui2 | ||
ide-desktop |