Alternative designs to document switcher
Currently, Builder has a document switcher that integrates additional information into the region where the filename is placed. This is for a couple of reasons:
- Monitors are often vertically challenged, and we want to maximize space for code
- GtkNotebook wasn't suitable for some of our uses cases due to how we want to do reordering, so we used GtkStack instead
- GtkStack doesn't have a "tab switcher" widget in GTK 3, but for GTK 4 we'll have one in libadwaita
Some previous work on tab design can be found from the Design team
- https://gitlab.gnome.org/Teams/Design/os-mockups/-/blob/master/tabs/tabs.png
- Teams/Design/os-mockups#59 (closed)
Switching documents is a bit cumbersome because it's hidden behind the popover. One reason for that is that we tried very hard to push other avenues for opening documents such as a blindingly fast global search w/ code indexing.
The ability to move pages around also needs to transition well with the removal from one stack into another.
How it looks today: