Hacker News Reader

>You can change that on the settings.

Always a valid reply in Linux discussions.

Though not always in GNOME discussions j/k

"You can change that in dconf. Though maybe there is a tweak for it. Or perhaps it's a behavior you can script in gnome-shell."

More like "you can change that in dconf, but there's a bug[0] that makes it reset every time you restart the application".

[0] sotto voce "that we're probably never going to fix"

To be fair, that's part of why I use Linux :)