3 ms·
Most annoyances from gnome shell can be fixed by using the proper addons. The bad news is that it's time consuming and really you shouldn't have to do that. The
by sametmax 10y ago
Most annoyances from gnome shell can be fixed by using the proper addons. The bad news is that it's time consuming and really you shouldn't have to do that. The good news is that toggling an addon is a one-click operation.
E.G: disable huge title bars: https://extensions.gnome.org/extension/723/pixel-saver/ https://extensions.gnome.org/extension/723/pixel-saver/
- snuxoll 10y agoFunny thing about this, the behavior pixel-saver adds to GNOME shell was once standard - people didn't like it so it was reverted (I think I remember this back in the GNOME 3.8 days).
- vetinari 10y agoPixel saver does not disable huge title bars. It removes title bar for the maximized window. For a window that is not maximized, it does exactly nothing.