4 ms·

>You can change that on the settings. Always a valid reply in Linux discussions.

• Shared404 6y ago
  To be fair, that's part of why I use Linux :)
• kzrdude 6y ago
  Though not always in GNOME discussions j/k
  • zozbot234 6y ago
    "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."
    • kelnos 6y ago
      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"