From ac0442b99060245d182ea5029b03181dcc55a938 Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Thu, 17 Mar 2016 17:01:36 -0600
Subject: [PATCH] framework preferences: add option for Control+Alt as AltGr

---
 gui-lib/framework/private/main.rkt        | 4 ++++
 gui-lib/framework/private/preferences.rkt | 5 +++++
 gui-lib/info.rkt                          | 2 +-
 3 files changed, 10 insertions(+), 1 deletion(-)

diff --git a/gui-lib/framework/private/main.rkt b/gui-lib/framework/private/main.rkt
index 8f6a2915..df76114b 100644
--- a/gui-lib/framework/private/main.rkt
+++ b/gui-lib/framework/private/main.rkt
@@ -214,6 +214,10 @@
 (preferences:add-callback 'framework:special-meta-key (λ (p v) (map-command-as-meta-key v)))
 (map-command-as-meta-key (preferences:get 'framework:special-meta-key))
 
+(preferences:set-default 'framework:any-control+alt-is-altgr #f boolean?)
+(preferences:add-callback 'framework:any-control+alt-is-altgr (λ (p v) (any-control+alt-is-altgr v)))
+(any-control+alt-is-altgr (preferences:get 'framework:any-control+alt-is-altgr))
+
 (preferences:set-default 'framework:fraction-snip-style 
                          'mixed (λ (x) (memq x '(mixed improper decimal))))
 
diff --git a/gui-lib/framework/private/preferences.rkt b/gui-lib/framework/private/preferences.rkt
index 0eadf7f8..4311ae50 100644
--- a/gui-lib/framework/private/preferences.rkt
+++ b/gui-lib/framework/private/preferences.rkt
@@ -478,6 +478,11 @@ the state transitions / contracts are:
                                 'framework:special-meta-key
                                 (string-constant command-as-meta)))
                    
+                   (when (memq (system-type) '(windows))
+                     (add-check editor-panel 
+                                'framework:any-control+alt-is-altgr
+                                (string-constant any-control+alt-is-altgr)))
+                   
                    (add-check editor-panel 
                               'framework:coloring-active
                               (string-constant online-coloring-active))
diff --git a/gui-lib/info.rkt b/gui-lib/info.rkt
index dc7114b8..6b284a82 100644
--- a/gui-lib/info.rkt
+++ b/gui-lib/info.rkt
@@ -12,7 +12,7 @@
                "pict-lib"
                "scheme-lib"
                "scribble-lib"
-               ["string-constants-lib" #:version "1.7"]
+               ["string-constants-lib" #:version "1.9"]
                "option-contract-lib"
                "2d-lib"
                "compatibility-lib"