1
# ==============================================================================
2
# GNOME PANEL SPECIFIC SETTINGS
3
# ==============================================================================
10
bg_pixmap[NORMAL] = "img/panel.png"
11
# bg[NORMAL] = "#4b4a46"
20
style "panel_task_button"
25
GtkWidget::focus-line-width = 0
26
GtkWidget::focus_padding = 0
27
GtkWidget::interior_focus = 0
28
GtkWidget::internal_padding = 0
30
GtkButton::child_displacement_x = 0
31
GtkButton::child_displacement_y = 0
32
GtkButton::default_border = {0, 0, 0, 0}
33
GtkButton::default_outside_border = {0, 0, 0, 0}
34
GtkButtonBox::child_internal_pad_x = 0
35
GtkButtonBox::child_internal_pad_y = 0
36
GtkButtonBox::child_min_heigth = 0
38
bg[SELECTED] = shade (0.2, @bg_color)
39
bg[PRELIGHT] = shade (0.26, @bg_color)
40
bg[ACTIVE] = shade (0.2, @bg_color)
49
file = "img/panel-button-inactive.png"
50
border = { 1, 1, 1, 1 }
59
file = "img/panel-button-hover.png"
60
border = { 1, 1, 1, 1 }
70
file = "img/panel-button-hover.png"
71
border = { 1, 1, 1, 1 }
82
file = "img/panel-button-hover.png"
83
border = { 1, 1, 1, 1 }
93
file = "img/panel-button-active.png"
94
border = { 4, 4, 4, 4 }
102
file = "img/panel-button-inactive.png"
103
border = { 1, 1, 1, 1 }
109
#widget_class "*Panel*" style "panel"
110
widget "*PanelWidget*" style "panel"
111
widget "*PanelApplet*" style "panel"
112
widget "*fast-user-switch*" style "panel" # workaround for Fast User Switch applet
113
class "PanelApp*" style "panel"
114
class "PanelToplevel*" style "panel"
115
#widget_class "*Mail*" style "panel"
116
widget_class "*notif*" style "panel"
118
#widget_class "*?anel*utton" style "panel_task_button" # causing problems to monodevelop
119
widget "*task*" style "panel_task_button"
120
widget "*.tasklist-button" style "panel_task_button"
121
widget "*PanelApplet*TaskTitle*" style "panel_task_button"