From a7d96b37cec76d07601cfd9d1eb105bde98c1c9b Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 26 Oct 2010 16:06:19 -0600 Subject: [PATCH] gtk: swap alt and meta reporting original commit: 2c775657212c171d14155a7f62aafa11bc18ab81 --- collects/mred/private/wx/gtk/window.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/mred/private/wx/gtk/window.rkt b/collects/mred/private/wx/gtk/window.rkt index bfa81ac8..0aa30e25 100644 --- a/collects/mred/private/wx/gtk/window.rkt +++ b/collects/mred/private/wx/gtk/window.rkt @@ -197,8 +197,8 @@ [key-code key-code] [shift-down (bit? modifiers GDK_SHIFT_MASK)] [control-down (bit? modifiers GDK_CONTROL_MASK)] - [meta-down (bit? modifiers GDK_META_MASK)] - [alt-down (bit? modifiers GDK_MOD1_MASK)] + [meta-down (bit? modifiers GDK_MOD1_MASK)] + [alt-down (bit? modifiers GDK_META_MASK)] [x 0] [y 0] [time-stamp (if scroll?