diff options
author | Stephane Glondu <steph@glondu.net> | 2012-01-12 16:02:20 +0100 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2012-01-12 16:02:20 +0100 |
commit | 97fefe1fcca363a1317e066e7f4b99b9c1e9987b (patch) | |
tree | 97ec6b7d831cc5fb66328b0c63a11db1cbb2f158 /ide/coqide-gtk2rc | |
parent | 300293c119981054c95182a90c829058530a6b6f (diff) |
Imported Upstream version 8.4~betaupstream/8.4_beta
Diffstat (limited to 'ide/coqide-gtk2rc')
-rw-r--r-- | ide/coqide-gtk2rc | 49 |
1 files changed, 49 insertions, 0 deletions
diff --git a/ide/coqide-gtk2rc b/ide/coqide-gtk2rc new file mode 100644 index 00000000..621d4e84 --- /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" |