File: .coqide-gtk2rc

package info (click to toggle)
coq-doc 8.2pl1-1
  • links: PTS, VCS
  • area: non-free
  • in suites: squeeze
  • size: 19,240 kB
  • ctags: 22,737
  • sloc: ml: 132,933; ansic: 1,960; sh: 1,366; lisp: 456; makefile: 327
file content (49 lines) | stat: -rw-r--r-- 1,127 bytes parent folder | download | duplicates (7)
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
40
41
42
43
44
45
46
47
48
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"