/etc/xdg/coq/coqide-gtk2rc is in coqide 8.4pl4dfsg-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 | # 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"
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"
|