Hacker News new | ask | show | jobs
by krastanov 2210 days ago
The examples from the OP are configurable from Tweaks which is a GUI. No hacks, command line use, or third-party installs. In particular, the equivalent to the screen shot you showed is available from Gnome's Tweak tool.