mirror of
https://github.com/enso-org/enso.git
synced 2024-11-22 22:10:15 +03:00
59329bd59a
Fixes #7411 So far, this branch removes window control buttons and go-to dashboard (hamburger icon), and adds option for dashboard to set offset of the rest of top bar panels. |
||
|---|---|---|
| .. | ||
| gui | ||
| ide-desktop | ||