GNOME Bugzilla – Bug 725079
New Tab Widget
Last modified: 2018-04-15 00:20:58 UTC
This has been discussed for a while. We want something that overcomes issues with the existing widget, including things like: * Improved overflow behaviour. * Animated add/remove/reorder. * Built-in methods to indicate tab activity or updates (possibly through badges). Designs can be found at: https://wiki.gnome.org/Design/OS/Tabs
*** Bug 725077 has been marked as a duplicate of this bug. ***
Just another idea that I think would be really useful. Using the mouse scroll could slide the tabs panel. This is what hapens in Firefox where I usually have dozens of tabs. This would make sense for projects such as gedit where one can easily have 10+ tabs open at a single time. At the moment, when there's more tabs than what fits in the screen, one needs to press the arrow buttons on the side of tab panel which actually changes to the next tab, loading the file. Also, if a file has a long name, the tab is too large as it tries to accomodate the whole name.
We're moving to gitlab! As part of this move, we are moving bugs to NEEDINFO if they haven't seen activity in more than a year. If this issue is still important to you and still relevant with GTK+ 3.22 or master, please reopen it and we will migrate it to gitlab.
As announced a while ago, we are migrating to gitlab, and bugs that haven't seen activity in the last year or so will be not be migrated, but closed out in bugzilla. If this bug is still relevant to you, you can open a new issue describing the symptoms and how to reproduce it with gtk 3.22.x or master in gitlab: https://gitlab.gnome.org/GNOME/gtk/issues/new