From 2e13014849ef67bb5bab15ad22e68c883b4fb6b5 Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Wed, 18 Apr 2012 18:22:26 +0000
Subject: 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
---
 ide/coqide_main.ml4 | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/ide/coqide_main.ml4 b/ide/coqide_main.ml4
index 5c6034d5c3..db2b2361c2 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 (
-- 
cgit v1.2.3