From bbf334b38ae4c57b4d619a8f98acc488077efca4 Mon Sep 17 00:00:00 2001
From: ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Fri, 27 Apr 2012 15:31:30 +0000
Subject: Removed the quasi-useless gtk2rc file and the documentation that went
 with it. Now CoqIDE is not anymore totally irrespectful of the local
 configuration of themes, in particular w.r.t. to menu fonts.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15251 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/coqide_main.ml4 | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

(limited to 'ide/coqide_main.ml4')

diff --git a/ide/coqide_main.ml4 b/ide/coqide_main.ml4
index db2b2361c..1e71b8da4 100644
--- a/ide/coqide_main.ml4
+++ b/ide/coqide_main.ml4
@@ -67,13 +67,7 @@ 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"))
-       Minilib.xdg_config_dirs in
-     GtkMain.Rc.add_default_file (Filename.concat gtkrcdir "coqide-gtk2rc");
-   with Not_found -> ());
+  initmac ();
   (* Statup preferences *)
   begin
     try Preferences.load_pref ()
-- 
cgit v1.2.3