Add missing handling of new modifier keys (Meta, Super, Hyper) (upstream git commit 579347d69a83703472ee8a46e522f5bb7b739d6b) GtkSignal.connect_property: don't fetch the property value by hand (upstream git commit adf6b7a5972356eddfdd6cb5243e4eaf8ea59d02) Fix a segmentation fault due to a bad C cast (upstream git commit 1c20cc7454f3b6f5341ef906fb0bf07ca681fc5e)
18 lines
734 B
Plaintext
18 lines
734 B
Plaintext
$OpenBSD: patch-src_gdk_ml,v 1.1 2013/02/01 10:22:01 dcoppa Exp $
|
|
|
|
Add missing handling of new modifier keys (Meta, Super, Hyper)
|
|
(upstream git commit 579347d69a83703472ee8a46e522f5bb7b739d6b)
|
|
|
|
--- src/gdk.ml.orig Thu Aug 23 12:37:48 2012
|
|
+++ src/gdk.ml Fri Feb 1 09:46:59 2013
|
|
@@ -137,7 +137,8 @@ module Convert = struct
|
|
= "ml_test_GdkModifier_val"
|
|
let modifier i =
|
|
List.filter [`SHIFT;`LOCK;`CONTROL;`MOD1;`MOD2;`MOD3;`MOD4;`MOD5;
|
|
- `BUTTON1;`BUTTON2;`BUTTON3;`BUTTON4;`BUTTON5]
|
|
+ `BUTTON1;`BUTTON2;`BUTTON3;`BUTTON4;`BUTTON5;`SUPER;
|
|
+ `HYPER;`META;`RELEASE]
|
|
~f:(fun m -> test_modifier m i)
|
|
external test_window_state : window_state -> int -> bool
|
|
= "ml_test_GdkWindowState_val"
|