Menubar and toolbar in coqide using GtkUI & Gactions.

You'll need to remove/edit your ~/.coqiderc and ~/.coqide.keys.

As it used to be, accelerator modifiers changes are only done after a
reboot but we need more binding in lablgtk to improve that...

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14178 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 5 insertions, 5 deletions

diff --git a/ide/preferences.mli b/ide/preferences.mli
index 41a581d57..9912a841b 100644
--- a/ide/preferences.mli
+++ b/ide/preferences.mli
@@ -27,11 +27,11 @@ type pref =
       mutable automatic_tactics : string list;
       mutable cmd_print : string;
 
-      mutable modifier_for_navigation : Gdk.Tags.modifier list;
-      mutable modifier_for_templates : Gdk.Tags.modifier list;
-      mutable modifier_for_tactics : Gdk.Tags.modifier list;
-      mutable modifier_for_display : Gdk.Tags.modifier list;
-      mutable modifiers_valid : Gdk.Tags.modifier list;
+      mutable modifier_for_navigation : string;
+      mutable modifier_for_templates : string;
+      mutable modifier_for_tactics : string;
+      mutable modifier_for_display : string;
+      mutable modifiers_valid : string;
 
       mutable cmd_browse : string;
       mutable cmd_editor : string;