blob: f533310e7a4316ef6d4d49190a1cb6a2808e48ac (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
style "views" {
font_name = "Monospace 10"
}
class "GtkTextView" style "views"
widget "*.*.*.*.*.ScriptWindow" style "views"
widget "*.*.*.*.GoalWindow" style "views"
widget "*.*.*.*.MessageWindow" style "views"
style "menu" {
font_name = "Serif 10"
}
class "GtkLabel" style "menu"
gtk-key-theme-name = "Emacs"
|
