diff options
author | ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-04-18 18:22:26 +0000 |
---|---|---|
committer | ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-04-18 18:22:26 +0000 |
commit | 2e13014849ef67bb5bab15ad22e68c883b4fb6b5 (patch) | |
tree | 3c38b6ee0f93f665ec3d5ba821f57ee222c95f7a | |
parent | ab99b2f3e62bdb67c2ebb001cf5bd0dcce8be73d (diff) |
Fixed an initialization bug of Gtk introduced in r15188 that would lead CoqIDE to a segfault. Gtk was not initialized while it was trying to declare accel keys.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15216 85f007b7-540e-0410-9357-904b9bb8a0f7
-rw-r--r-- | ide/coqide_main.ml4 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ide/coqide_main.ml4 b/ide/coqide_main.ml4 index 5c6034d5c..db2b2361c 100644 --- a/ide/coqide_main.ml4 +++ b/ide/coqide_main.ml4 @@ -66,6 +66,8 @@ END let () = Coqide.ignore_break (); + ignore (GtkMain.Main.init ()); + initmac () ; (try let gtkrcdir = List.find (fun x -> Sys.file_exists (Filename.concat x "coqide-gtk2rc")) @@ -78,8 +80,6 @@ let () = with e -> Ideutils.flash_info ("Could not load preferences ("^Printexc.to_string e^")."); end; - ignore (GtkMain.Main.init ()); - initmac () ; (* GtkData.AccelGroup.set_default_mod_mask (Some [`CONTROL;`SHIFT;`MOD1;`MOD3;`MOD4]);*) ignore ( |