1997-11-24 22:05:25 +00:00
|
|
|
# style <name> [= <name>]
|
|
|
|
|
# {
|
|
|
|
|
# <option>
|
|
|
|
|
# }
|
|
|
|
|
#
|
|
|
|
|
# widget <widget_set> style <style_name>
|
|
|
|
|
# widget_class <widget_class_set> style <style_name>
|
|
|
|
|
|
|
|
|
|
style "ruler"
|
|
|
|
|
{
|
|
|
|
|
font = "-adobe-helvetica-medium-r-normal--*-80-*-*-*-*-*-*"
|
|
|
|
|
}
|
|
|
|
|
|
1999-05-12 19:16:40 +00:00
|
|
|
style "tooltips"
|
|
|
|
|
{
|
2000-05-22 18:06:25 +00:00
|
|
|
fg[NORMAL] = { 0.0, 0.0, 0.0 }
|
1999-05-12 19:16:40 +00:00
|
|
|
bg[NORMAL] = { 0.94, 0.90, 0.54 }
|
|
|
|
|
}
|
|
|
|
|
|
1999-08-02 05:50:14 +00:00
|
|
|
widget "gtk-tooltips" style "tooltips"
|
|
|
|
|
|
1997-11-24 22:05:25 +00:00
|
|
|
widget_class "*Ruler*" style "ruler"
|
