3 ms·

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"