Hacker News Reader

You can change that on the settings. I know because I had the same problem and you can choose a more familiar iconset.

>You can change that on the settings.

Always a valid reply in Linux discussions.

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

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"