diff options
Diffstat (limited to 'other__mnemonics-delay.patch')
| -rw-r--r-- | other__mnemonics-delay.patch | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/other__mnemonics-delay.patch b/other__mnemonics-delay.patch deleted file mode 100644 index 3b0623e40a18..000000000000 --- a/other__mnemonics-delay.patch +++ /dev/null @@ -1,13 +0,0 @@ -Index: b/gtk+-3.24.14/gtk/gtkwindow.c -=================================================================== ---- a/gtk+-3.24.14/gtk/gtkwindow.c -+++ b/gtk+-3.24.14/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 |