diff options
| -rw-r--r-- | ide/nanoPG.ml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/ide/nanoPG.ml b/ide/nanoPG.ml index d85d87142c..de386e4ccf 100644 --- a/ide/nanoPG.ml +++ b/ide/nanoPG.ml @@ -67,7 +67,10 @@ type 'c entry = { let mC = [`CONTROL] let mM = [`MOD1] -let mod_of t x = List.for_all (fun m -> List.mem m (GdkEvent.Key.state t)) x +let mod_of t x = + let y = GdkEvent.Key.state t in + List.for_all (fun m -> List.mem m y) x && + List.for_all (fun m -> List.mem m x) y let pr_keymod l = if l = mC then "C-" |