3 ms·
All UI stuff like this should be part of the "theme". Once in a while, sure go ahead and change the default, but always make it easy to roll back to older theme
by fractalf 5y ago
All UI stuff like this should be part of the "theme". Once in a while, sure go ahead and change the default, but always make it easy to roll back to older themes..