From ab6f28a2a5251cc7ef18948dc619781e82e43e71 Mon Sep 17 00:00:00 2001
From: pboutill
Date: Sun, 20 Nov 2011 20:03:03 +0000
Subject: coqide-gtk2rc not dotted

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14695 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile.build      |  2 +-
 ide/.coqide-gtk2rc  | 49 -------------------------------------------------
 ide/coqide-gtk2rc   | 49 +++++++++++++++++++++++++++++++++++++++++++++++++
 ide/coqide_main.ml4 |  4 ++--
 4 files changed, 52 insertions(+), 52 deletions(-)
 delete mode 100644 ide/.coqide-gtk2rc
 create mode 100644 ide/coqide-gtk2rc

diff --git a/Makefile.build b/Makefile.build
index aa98d5e19c..508776f3ba 100644
--- a/Makefile.build
+++ b/Makefile.build
@@ -303,7 +303,7 @@ COQIDEFLAGS=-thread $(COQIDEINCLUDES)
 
 .SUFFIXES:.vo
 
-IDEFILES=ide/coq.png ide/.coqide-gtk2rc
+IDEFILES=ide/coq.png ide/coqide-gtk2rc
 
 coqide-binaries: coqide-$(HASCOQIDE)
 coqide-no:
diff --git a/ide/.coqide-gtk2rc b/ide/.coqide-gtk2rc
deleted file mode 100644
index 11c53dad29..0000000000
--- a/ide/.coqide-gtk2rc
+++ /dev/null
@@ -1,49 +0,0 @@
-# Some default functions for CoqIde. You may copy the file in your HOME and
-# edit as you want. See 
-# http://developer.gnome.org/doc/API/2.0/gtk/gtk-Resource-Files.html
-# for a complete set of options
-# To set the font of the text windows, edit the .coqiderc file through the menus.
-
-gtk-key-theme-name = "Emacs"
-
-#pixmap_path "/home/"
-
-binding "text" {
-  bind "<ctrl>k" { "set-anchor" ()
-		   "move-cursor" (display-line-ends,1,0)
-		   "move-cursor" (visual-positions,1,0)
-		   "cut-clipboard" ()	
-		}
-  bind "<ctrl>w" { "cut-clipboard" () }
-
-# For UTF-8 inputs !
-#  bind "F11" {"insert-at-cursor" ("∀")}
-#  bind "F12" {"insert-at-cursor" ("∃")}
-}
-class "GtkTextView" binding "text"
-
-
-style "views" {
-base[NORMAL] = "CornSilk"
-# bg_pixmap[NORMAL] = "background.jpg"
-}
-class "GtkTextView" style "views"
-
-widget "*.*.*.*.*.ScriptWindow" style "views"
-widget "*.*.*.*.GoalWindow" style "views"
-widget "*.*.*.*.MessageWindow" style "views"
-
-gtk-font-name = "Sans 12"
-
-style "location" {
-font_name = "Sans 10"
-}
-widget "*location*" style "location"
-
-
-gtk-can-change-accels = 1
-
-style "men" {
-# 
-}
-widget "GtkMenu" style "men"
diff --git a/ide/coqide-gtk2rc b/ide/coqide-gtk2rc
new file mode 100644
index 0000000000..621d4e8479
--- /dev/null
+++ b/ide/coqide-gtk2rc
@@ -0,0 +1,49 @@
+# Some default functions for CoqIde. You may copy the file in $XDG_CONFIG_HOME
+# ($HOME/.config/coq/) and edit as you want. See 
+# http://developer.gnome.org/doc/API/2.0/gtk/gtk-Resource-Files.html
+# for a complete set of options
+# To set the font of the text windows, edit the .coqiderc file through the menus.
+
+gtk-key-theme-name = "Emacs"
+
+#pixmap_path "/home/"
+
+binding "text" {
+  bind "<ctrl>k" { "set-anchor" ()
+		   "move-cursor" (display-line-ends,1,0)
+		   "move-cursor" (visual-positions,1,0)
+		   "cut-clipboard" ()	
+		}
+  bind "<ctrl>w" { "cut-clipboard" () }
+
+# For UTF-8 inputs !
+#  bind "F11" {"insert-at-cursor" ("∀")}
+#  bind "F12" {"insert-at-cursor" ("∃")}
+}
+class "GtkTextView" binding "text"
+
+
+style "views" {
+base[NORMAL] = "CornSilk"
+# bg_pixmap[NORMAL] = "background.jpg"
+}
+class "GtkTextView" style "views"
+
+widget "*.*.*.*.*.ScriptWindow" style "views"
+widget "*.*.*.*.GoalWindow" style "views"
+widget "*.*.*.*.MessageWindow" style "views"
+
+gtk-font-name = "Sans 12"
+
+style "location" {
+font_name = "Sans 10"
+}
+widget "*location*" style "location"
+
+
+gtk-can-change-accels = 1
+
+style "men" {
+# 
+}
+widget "GtkMenu" style "men"
diff --git a/ide/coqide_main.ml4 b/ide/coqide_main.ml4
index f09ef2492a..36257e8db1 100644
--- a/ide/coqide_main.ml4
+++ b/ide/coqide_main.ml4
@@ -73,9 +73,9 @@ let () =
   Minilib.coqlib := Coq.check_coqlib args;
   Coqide.sup_args := args;
   Coqide.ignore_break ();
-    GtkMain.Rc.add_default_file (Ideutils.lib_ide_file ".coqide-gtk2rc");
+    GtkMain.Rc.add_default_file (Ideutils.lib_ide_file "coqide-gtk2rc");
     (try
-	 GtkMain.Rc.add_default_file (Filename.concat Minilib.home ".coqide-gtk2rc");
+	 GtkMain.Rc.add_default_file (Filename.concat Minilib.xdg_config_home "coqide-gtk2rc");
      with Not_found -> ());
     ignore (GtkMain.Main.init ());
     initmac () ;
-- 
cgit v1.2.3