1997-11-24 22:37:52 +00:00
|
|
|
# pixmap_path "<dir 1>:<dir 2>:<dir 3>:..."
|
|
|
|
#
|
|
|
|
# style <name> [= <name>]
|
|
|
|
# {
|
|
|
|
# <option>
|
|
|
|
# }
|
|
|
|
#
|
|
|
|
# widget <widget_set> style <style_name>
|
|
|
|
# widget_class <widget_class_set> style <style_name>
|
|
|
|
|
|
|
|
pixmap_path "."
|
|
|
|
|
1997-11-27 04:16:39 +00:00
|
|
|
style "default"
|
|
|
|
{
|
|
|
|
fontset = "-adobe-helvetica-medium-r-normal--*-100-*-*-*-*-*-*,*"
|
1998-02-13 05:26:33 +00:00
|
|
|
base[NORMAL] = { 1.0, 0.8, 0.8 }
|
1997-11-27 04:16:39 +00:00
|
|
|
}
|
|
|
|
|
1997-11-24 22:37:52 +00:00
|
|
|
style "window"
|
|
|
|
{
|
|
|
|
# bg_pixmap[NORMAL] = "warning.xpm"
|
|
|
|
}
|
|
|
|
|
|
|
|
style "scale"
|
|
|
|
{
|
|
|
|
fg[NORMAL] = { 1.0, 0, 0 }
|
|
|
|
bg_pixmap[NORMAL] = "<parent>"
|
|
|
|
}
|
|
|
|
|
|
|
|
style "button"
|
|
|
|
{
|
1998-01-03 03:31:03 +00:00
|
|
|
# fg[PRELIGHT] = { 1.0, 1.0, 1.0 }
|
|
|
|
# bg[PRELIGHT] = { 0, 0, 0.75 }
|
1997-11-24 22:37:52 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
style "main_button" = "button"
|
|
|
|
{
|
|
|
|
font = "-adobe-helvetica-medium-r-normal--*-100-*-*-*-*-*-*"
|
|
|
|
bg[PRELIGHT] = { 0.75, 0, 0 }
|
|
|
|
}
|
|
|
|
|
|
|
|
style "toggle_button" = "button"
|
|
|
|
{
|
|
|
|
fg[NORMAL] = { 1.0, 0, 0 }
|
|
|
|
fg[ACTIVE] = { 1.0, 0, 0 }
|
|
|
|
bg_pixmap[NORMAL] = "<parent>"
|
|
|
|
}
|
|
|
|
|
|
|
|
style "text"
|
|
|
|
{
|
1998-01-13 15:14:54 +00:00
|
|
|
# bg_pixmap[NORMAL] = "marble.xpm"
|
|
|
|
# fg[NORMAL] = { 1.0, 1.0, 1.0 }
|
1997-11-24 22:37:52 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
style "ruler"
|
|
|
|
{
|
|
|
|
font = "-adobe-helvetica-medium-r-normal--*-80-*-*-*-*-*-*"
|
|
|
|
}
|
|
|
|
|
|
|
|
style "curve"
|
|
|
|
{
|
|
|
|
fg[NORMAL] = { 58000, 0, 0 } # red
|
|
|
|
}
|
|
|
|
|
1998-02-13 05:26:33 +00:00
|
|
|
widget_class "*" style "default"
|
1997-11-24 22:37:52 +00:00
|
|
|
widget_class "GtkWindow" style "window"
|
|
|
|
widget_class "GtkDialog" style "window"
|
|
|
|
widget_class "GtkFileSelection" style "window"
|
|
|
|
widget_class "*Gtk*Scale" style "scale"
|
|
|
|
widget_class "*GtkCheckButton*" style "toggle_button"
|
|
|
|
widget_class "*GtkRadioButton*" style "toggle_button"
|
|
|
|
widget_class "*GtkButton*" style "button"
|
|
|
|
widget_class "*Ruler" style "ruler"
|
1998-01-13 15:14:54 +00:00
|
|
|
#widget_class "*GtkText" style "text"
|
1997-11-24 22:37:52 +00:00
|
|
|
widget "main window.*GtkButton*" style "main_button"
|
|
|
|
widget "*GtkCurve" style "curve"
|