diff options
author | 2003-04-28 18:25:53 +0000 | |
---|---|---|
committer | 2003-04-28 18:25:53 +0000 | |
commit | e870066f07eb872f5e913d9819f683bea13367cf (patch) | |
tree | bde25d573ca011df31941dc07b27226b2c418fc2 /ide/.coqide-gtk2rc | |
parent | ab65dd50ee42dd64a8df08ec61fef6da307123ca (diff) |
coqide: search forward
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3969 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'ide/.coqide-gtk2rc')
-rw-r--r-- | ide/.coqide-gtk2rc | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/ide/.coqide-gtk2rc b/ide/.coqide-gtk2rc new file mode 100644 index 000000000..da2c5d929 --- /dev/null +++ b/ide/.coqide-gtk2rc @@ -0,0 +1,38 @@ +# 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. + + +binding "text" { + bind "<ctrl>k" { "set-anchor" () + "move-cursor" (display-line-ends,1,0) + "cut-clipboard" () + } + bind "<ctrl>w" { "cut-clipboard" () } + bind "<ctrl>x" { } + + bind "F13" {"insert-at-cursor" ("∀")} + bind "F14" {"insert-at-cursor" ("∃")} +} +class "GtkTextView" binding "text" + + +style "views" { +base[NORMAL] = "CornSilk" +} +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 = "Monospace 10" +} +widget "*location*" style "location" + +gtk-key-theme-name = "Emacs" |