2 ms·
It's in the default gnome theme too and changing themes on gnome is kind of a bitch if you're not actually using it as a DE (plus the devs hate it.) Now I have
by swiley 6y ago
It's in the default gnome theme too and changing themes on gnome is kind of a bitch if you're not actually using it as a DE (plus the devs hate it.) Now I have to run some kind of theming daemon (WTF?) just so I can have scroll bars. Sometimes it eats escape keys and launches random crap (occasionally an entire DE) just to throw a full screen modal dialog box telling me that escape isn't mapped to any shortcuts.
Defaults should be sane, not fashionable and many people still expect and even need scrollbars.