1
# ==============================================================================
2
# GNOME PANEL SPECIFIC SETTINGS
3
# ==============================================================================
10
bg_pixmap[NORMAL] = "img/panel.png"
11
bg[NORMAL] = "#4b4a46"
20
style "panel_task_button" = "dark"
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
45
file = "img/panel-button-inactive.png"
46
border = { 1, 1, 1, 1 }
55
file = "img/panel-button-hover.png"
56
border = { 1, 1, 1, 1 }
66
file = "img/panel-button-hover.png"
67
border = { 1, 1, 1, 1 }
78
file = "img/panel-button-hover.png"
79
border = { 1, 1, 1, 1 }
89
file = "img/panel-button-active.png"
90
border = { 4, 4, 4, 4 }
98
file = "img/panel-button-inactive.png"
99
border = { 1, 1, 1, 1 }
105
#widget_class "*Panel*" style "panel"
106
widget "*PanelWidget*" style "panel"
107
widget "*PanelApplet*" style "panel"
108
widget "*fast-user-switch*" style "panel" # workaround for Fast User Switch applet
109
class "PanelApp*" style "panel"
110
class "PanelToplevel*" style "panel"
111
#widget_class "*Mail*" style "panel"
112
widget_class "*notif*" style "panel"
114
#widget_class "*?anel*utton" style "panel_task_button" # causing problems to monodevelop
115
widget "*task*" style "panel_task_button"
116
widget "*.tasklist-button" style "panel_task_button"
117
widget "*PanelApplet*TaskTitle*" style "panel_task_button"