blob: 01bc21b7bc7a2f6a9b44c5cdba854ed890d3fd0b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
Index: src/gtk+-3.24.13/gtk/gtkwindow.c
===================================================================
--- src.orig/gtk+-3.24.13/gtk/gtkwindow.c
+++ src/gtk+-3.24.13/gtk/gtkwindow.c
@@ -147,7 +147,7 @@
* widget that is added as a titlebar child.
*/
-#define MNEMONICS_DELAY 300 /* ms */
+#define MNEMONICS_DELAY 0 /* ms */
#define NO_CONTENT_CHILD_NAT 200
/* In case the content (excluding header bar and shadows) of the window
* would be empty, either because there is no visible child widget or only an
|