The default delay for this setting appears to be 25ms according to https://bugzilla.gnome.org/show_bug.cgi?id=678169 Is there a way to change that setting (more or less)? I couldn't find a value in dconf and the only value from the patches attached to that BZ would mean I'd have to recompile gnome. Is there an easier way to change that value via dconf or gnome extensions?
-- Justin Garrison
_______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list
