mirror of https://github.com/GNOME/gimp.git
28 lines
477 B
Plaintext
28 lines
477 B
Plaintext
# 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-*-*-*-*-*-*"
|
|
}
|
|
|
|
style "default"
|
|
{
|
|
font = "-adobe-helvetica-medium-r-normal--*-100-*-*-*-*-*-*"
|
|
}
|
|
|
|
style "tooltips"
|
|
{
|
|
bg[NORMAL] = { 0.94, 0.90, 0.54 }
|
|
}
|
|
|
|
widget "gtk-tooltips" style "tooltips"
|
|
|
|
widget_class "*Ruler*" style "ruler"
|
|
widget_class "*" style "default"
|