From 61ea2d3cf5fac621f22dc7fd1d2ae5c33b38bb23 Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Oct 18 2012 01:29:39 +0000
Subject: Support more GDK key modifiers in the IDE (hyper, meta, release, super).


---

diff --git a/coq-gdk.patch b/coq-gdk.patch
new file mode 100644
index 0000000..77b5bf5
--- /dev/null
+++ b/coq-gdk.patch
@@ -0,0 +1,26 @@
+--- ./ide/utils/okey.ml.orig	2006-03-08 04:44:47.000000000 -0700
++++ ./ide/utils/okey.ml	2012-10-17 19:27:10.303583666 -0600
+@@ -47,6 +47,10 @@ let int_of_modifier = function
+   | `BUTTON3 -> 1024
+   | `BUTTON4 -> 2048
+   | `BUTTON5 -> 4096
++  | `SUPER -> 67108864
++  | `HYPER -> 134217728
++  | `META -> 268435456
++  | `RELEASE -> 1073741824
+ 
+ let print_modifier l =
+   List.iter
+@@ -65,7 +69,11 @@ let print_modifier l =
+ 	  | `BUTTON2 -> "B2"
+ 	  | `BUTTON3 -> "B3"
+ 	  | `BUTTON4 -> "B4"
+-	  | `BUTTON5 -> "B5")
++	  | `BUTTON5 -> "B5"
++	  | `SUPER -> "SUPER"
++	  | `HYPER -> "HYPER"
++	  | `META -> "META"
++	  | `RELEASE -> "RELEASE")
+ 	    m)^" ")
+     )
+     l;
diff --git a/coq.spec b/coq.spec
index 5be69ce..b8a4461 100644
--- a/coq.spec
+++ b/coq.spec
@@ -34,6 +34,8 @@ Source0:        http://coq.inria.fr/V%{version}/files/%{name}-%{version}.tar.gz
 Source1:        coqide.desktop
 Source2:        README.coq-emacs
 Source4:        coq.xml
+# Not yet sent upstream: support more GDK key modifiers
+Patch0:         %{name}-gdk.patch
 
 BuildRequires:  ocaml, ocaml-camlp5-devel, ocaml-lablgtk-devel
 BuildRequires:  desktop-file-utils, emacs-nox, emacs-proofgeneral
@@ -122,6 +124,7 @@ This package is not needed to use the Emacs interface.
 
 %prep
 %setup -q
+%patch0
 
 # Fix some files that are not in UTF-8 encoding
 
@@ -305,6 +308,7 @@ mktexlsr &> /dev/null
 %changelog
 * Wed Oct 17 2012 Jerry James <loganjerry@gmail.com> - 8.4-2
 - Rebuild for OCaml 4.00.1
+- Support more GDK key modifiers in the IDE (hyper, meta, release, super)
 
 * Tue Aug 21 2012 Jerry James <loganjerry@gmail.com> - 8.4-1
 - New upstream release