From 6b649aba925b6f7462da07599fe67ebb12a3460e Mon Sep 17 00:00:00 2001
From: Samuel Mimram <samuel.mimram@ens-lyon.org>
Date: Wed, 28 Jul 2004 21:54:47 +0000
Subject: Imported Upstream version 8.0pl1

---
 ide/.coqide-gtk2rc | 49 +++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 49 insertions(+)
 create mode 100644 ide/.coqide-gtk2rc

(limited to 'ide/.coqide-gtk2rc')

diff --git a/ide/.coqide-gtk2rc b/ide/.coqide-gtk2rc
new file mode 100644
index 00000000..11c53dad
--- /dev/null
+++ b/ide/.coqide-gtk2rc
@@ -0,0 +1,49 @@
+# 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"
-- 
cgit v1.2.3