1997-11-25 06:05:25 +08: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-13 03:16:40 +08:00
|
|
|
style "tooltips"
|
|
|
|
{
|
2000-05-23 02:06:25 +08:00
|
|
|
fg[NORMAL] = { 0.0, 0.0, 0.0 }
|
1999-05-13 03:16:40 +08:00
|
|
|
bg[NORMAL] = { 0.94, 0.90, 0.54 }
|
|
|
|
}
|
|
|
|
|
1999-08-02 13:50:14 +08:00
|
|
|
widget "gtk-tooltips" style "tooltips"
|
|
|
|
|
1997-11-25 06:05:25 +08:00
|
|
|
widget_class "*Ruler*" style "ruler"
|