| [4081] | 1 | /* | 
|---|
 | 2 |  * style <name> [= <name>] | 
|---|
 | 3 |  * { | 
|---|
 | 4 |  *   <option> | 
|---|
 | 5 |  * } | 
|---|
 | 6 |  * | 
|---|
 | 7 |  * widget <widget_set> style <style_name> | 
|---|
 | 8 |  * widget_class <widget_class_set> style <style_name> | 
|---|
 | 9 |  * | 
|---|
 | 10 |  * Here is a list of all the possible states.  Note that some do not apply to | 
|---|
 | 11 |  * certain widgets. | 
|---|
 | 12 |  * | 
|---|
 | 13 |  * NORMAL - The normal state of a widget, without the mouse over top of | 
|---|
 | 14 |  * it, and not being pressed, etc. | 
|---|
 | 15 |  * | 
|---|
 | 16 |  * PRELIGHT - When the mouse is over top of the widget, colors defined | 
|---|
 | 17 |  * using this state will be in effect. | 
|---|
 | 18 |  * | 
|---|
 | 19 |  * ACTIVE - When the widget is pressed or clicked it will be active, and | 
|---|
 | 20 |  * the attributes assigned by this tag will be in effect. | 
|---|
 | 21 |  * | 
|---|
 | 22 |  * INSENSITIVE - When a widget is set insensitive, and cannot be | 
|---|
 | 23 |  * activated, it will take these attributes. | 
|---|
 | 24 |  * | 
|---|
 | 25 |  * SELECTED - When an object is selected, it takes these attributes. | 
|---|
 | 26 |  * | 
|---|
 | 27 |  * Given these states, we can set the attributes of the widgets in each of | 
|---|
 | 28 |  * these states using the following directives. | 
|---|
 | 29 |  * | 
|---|
 | 30 |  * fg - Sets the foreground color of a widget. | 
|---|
 | 31 |  * bg - Sets the background color of a widget. | 
|---|
 | 32 |  * bg_pixmap - Sets the background of a widget to a tiled pixmap. | 
|---|
 | 33 |  * base - Sets the base of Widgets | 
|---|
 | 34 |  * font - Sets the font to be used with the given widget. | 
|---|
 | 35 | */ | 
|---|
 | 36 |  | 
|---|
 | 37 |  | 
|---|
 | 38 |  | 
|---|
| [4031] | 39 | static const gchar* rc_string = | 
|---|
| [4081] | 40 | ( | 
|---|
 | 41 | "style'orxonox'" | 
|---|
 | 42 | "{" | 
|---|
 | 43 | "fg[NORMAL]      = { 0.0, 1.0, 0.0 }" | 
|---|
 | 44 | "fg[PRELIGHT]    = { 0.0, 1.0, 0.0 }" | 
|---|
 | 45 | "fg[ACTIVE]      = { 0.0, 1.0, 0.0 }" | 
|---|
 | 46 | "fg[INSENSITIVE] = { 0.0, 0.8, 0.0 }" | 
|---|
 | 47 | "fg[SELECTED]    = { 0.0, 1.0, 0.0 }" | 
|---|
 | 48 |  | 
|---|
 | 49 | "bg[NORMAL]      = { 0.0, 0.0, 0.0 }" | 
|---|
 | 50 | "bg[PRELIGHT]    = { 0.0, 1.0, 0.0 }" | 
|---|
 | 51 | "bg[ACTIVE]      = { 0.0, 0.3, 0.0 }" | 
|---|
 | 52 | "bg[INSENSITIVE] = { 0.0, 0.1, 0.0 }" | 
|---|
 | 53 | "bg[SELECTED]    = { 0.0, 0.1, 0.0 }" | 
|---|
 | 54 |  | 
|---|
 | 55 | "base[NORMAL]      = { 0.0, 1.0, 0.0 }" | 
|---|
 | 56 | "base[PRELIGHT]    = { 0.0, 1.0, 0.0 }" | 
|---|
 | 57 | "base[ACTIVE]      = { 0.0, 1.0, 0.0 }" | 
|---|
 | 58 | "base[INSENSITIVE] = { 0.0, 1.0, 0.0 }" | 
|---|
 | 59 | "base[SELECTED]    = { 0.0, 1.0, 0.0 }" | 
|---|
 | 60 |  | 
|---|
 | 61 | "font              = '-adobe-helvetica-medium-r-normal--*-100-*-*-*-*-*-*'" | 
|---|
 | 62 | "}" | 
|---|
 | 63 |  | 
|---|
| [4031] | 64 | "style'window'" | 
|---|
 | 65 | "{"                      | 
|---|
 | 66 | "bg[NORMAL] = { 0, 0, 0 }" | 
|---|
 | 67 | "fg[NORMAL] = { 0, 1.0, 0 }" | 
|---|
 | 68 | "base[NORMAL] = { 0, 0, 0 }" | 
|---|
 | 69 | "base[INSENSITIVE] = { 0, 0, 0 }" | 
|---|
 | 70 | "}" | 
|---|
| [2018] | 71 |  | 
|---|
| [4081] | 72 | "style'frame'" | 
|---|
 | 73 | "{" | 
|---|
 | 74 | "bg[NORMAL]  = { 0.0, 0.4, 0.0 }" | 
|---|
 | 75 | "}" | 
|---|
 | 76 |  | 
|---|
| [4031] | 77 | "style'scale'" | 
|---|
 | 78 | "{" | 
|---|
 | 79 | "fg[NORMAL] = { 0, 1.0, 0 }" | 
|---|
 | 80 | "bg[NORMAL] = { 0, 1.0, 0 }" | 
|---|
 | 81 | "bg[INSENSITIVE] = { 0, 1.0, 0 }" | 
|---|
 | 82 | "bg[PRELIGHT] = { 0, 1.0, 0 }" | 
|---|
 | 83 | "bg[ACTIVE] =   {0.2, 0.2, 0.2 }" | 
|---|
 | 84 | "}" | 
|---|
| [2018] | 85 |  | 
|---|
| [4031] | 86 | "style'button'" | 
|---|
 | 87 | "{" | 
|---|
 | 88 | "fg[PRELIGHT] = { 0, 0, 0 }" | 
|---|
 | 89 | "bg[PRELIGHT] = { 0, 1.0, 0 }" | 
|---|
 | 90 | "bg[ACTIVE] = { 0, 1.0, 0 }" | 
|---|
 | 91 | "fg[ACTIVE] = { 0, 1.0, 0 }" | 
|---|
 | 92 | "bg[NORMAL] = { 0, 0, 0 }" | 
|---|
 | 93 | "fg[NORMAL] = { 0, 1.0, 0 }" | 
|---|
| [4081] | 94 | "bg[INSENSITIVE] = { 0.0, 0.2, 0.0 }" | 
|---|
 | 95 | "fg[INSENSITIVE] = { 0.0, 0.8, 0.0 }" | 
|---|
| [4031] | 96 | "base[NORMAL] = { 0, 1.0, 0 }" | 
|---|
 | 97 | "base[PRELIGHT] = { 0, 1.0, 0 }" | 
|---|
 | 98 | "}" | 
|---|
| [2018] | 99 |  | 
|---|
| [4031] | 100 | "style'main_button' = 'button'" | 
|---|
 | 101 | "{" | 
|---|
 | 102 | "font = '-adobe-helvetica-medium-r-normal--*-100-*-*-*-*-*-*'" | 
|---|
 | 103 | "bg[PRELIGHT] = { 0, 0.75, 0 }" | 
|---|
 | 104 | "}" | 
|---|
| [2018] | 105 |  | 
|---|
| [4031] | 106 | "style'toggle_button' = 'button'" | 
|---|
 | 107 | "{" | 
|---|
 | 108 | "fg[NORMAL] = { 0, 1.0, 0 }" | 
|---|
 | 109 | "fg[ACTIVE] = { 0, 1.0, 0 }" | 
|---|
 | 110 | "text[NORMAL] = { 0, 0, 0}" | 
|---|
 | 111 | "}" | 
|---|
| [2018] | 112 |  | 
|---|
| [4031] | 113 | "style'text'" | 
|---|
 | 114 | "{" | 
|---|
 | 115 | "fg[NORMAL] = { 0, 1.0, 0 }" | 
|---|
 | 116 | "}" | 
|---|
| [2018] | 117 |  | 
|---|
| [4031] | 118 | "style'ruler'" | 
|---|
 | 119 | "{" | 
|---|
 | 120 | "font = '-adobe-helvetica-medium-r-normal--*-20-*-*-*-*-*-*'" | 
|---|
 | 121 | "}" | 
|---|
| [2018] | 122 |  | 
|---|
| [4081] | 123 | "widget'Gtk*'                   style'orxonox'" | 
|---|
 | 124 | "widget'*Gtk*Frame*'              style'frame'" | 
|---|
| [4031] | 125 | "widget'GtkWindow'              style'window'" | 
|---|
 | 126 | "widget'GtkFileSelection'       style'window'" | 
|---|
 | 127 | "widget'*Gtk*Scale'             style'scale'" | 
|---|
 | 128 | "widget'*GtkCheckButton*'       style'toggle_button'" | 
|---|
 | 129 | "widget'*Gtk*Menu*'             style'toggle_button'" | 
|---|
 | 130 | "widget'*GtkRadioButton*'       style'toggle_button'" | 
|---|
 | 131 | "widget'*GtkButton*'            style'button'" | 
|---|
 | 132 | "widget'*Ruler'                 style'ruler'" | 
|---|
 | 133 | "widget'*GtkText'               style'text'" | 
|---|
 | 134 | "widget'*GtkLabel'              style'text'" | 
|---|
| [2018] | 135 |  | 
|---|
| [4031] | 136 | "widget'main window.*GtkButton*' style 'main_button'" | 
|---|
| [2018] | 137 |  | 
|---|
 | 138 |  | 
|---|
| [4031] | 139 | ); | 
|---|