1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
|
# ==============================================================================
# GNOME PANEL SPECIFIC SETTINGS
# ==============================================================================
style "panel" = "dark"
{
xthickness = 0
ythickness = 0
bg_pixmap[NORMAL] = "img/panel.png"
bg[NORMAL] = "#4b4a46"
engine "murrine" {
#contrast = 1.0
textstyle = 2
text_shade = 0.35
}
}
style "panel_task_button" = "dark"
{
xthickness = 3
xthickness = 3
GtkWidget::focus-line-width = 0
GtkWidget::focus_padding = 0
GtkWidget::interior_focus = 0
GtkWidget::internal_padding = 0
GtkButton::child_displacement_x = 0
GtkButton::child_displacement_y = 0
GtkButton::default_border = {0, 0, 0, 0}
GtkButton::default_outside_border = {0, 0, 0, 0}
GtkButtonBox::child_internal_pad_x = 0
GtkButtonBox::child_internal_pad_y = 0
GtkButtonBox::child_min_heigth = 0
engine "pixmap" {
image
{
function = BOX
recolorable = TRUE
state = NORMAL
file = "img/panel-button-inactive.png"
border = { 1, 1, 1, 1 }
stretch = TRUE
}
image
{
function = BOX
recolorable = TRUE
state = PRELIGHT
file = "img/panel-button-hover.png"
border = { 1, 1, 1, 1 }
stretch = TRUE
}
image
{
function = BOX
recolorable = TRUE
shadow = OUT
state = PRELIGHT
file = "img/panel-button-hover.png"
border = { 1, 1, 1, 1 }
stretch = TRUE
}
image
{
function = BOX
recolorable = TRUE
shadow = IN
state = PRELIGHT
file = "img/panel-button-hover.png"
border = { 1, 1, 1, 1 }
stretch = TRUE
}
image
{
function = BOX
recolorable = TRUE
state = ACTIVE
file = "img/panel-button-active.png"
border = { 4, 4, 4, 4 }
stretch = TRUE
}
image
{
function = BOX
recolorable = TRUE
state = INSENSITIVE
file = "img/panel-button-inactive.png"
border = { 1, 1, 1, 1 }
stretch = TRUE
}
}
}
#widget_class "*Panel*" style "panel"
widget "*PanelWidget*" style "panel"
widget "*PanelApplet*" style "panel"
widget "*fast-user-switch*" style "panel" # workaround for Fast User Switch applet
widget "*CPUFreqApplet*" style "panel" # workaround for CpuFreq Applet
class "PanelApp*" style "panel"
class "PanelToplevel*" style "panel"
#widget_class "*Mail*" style "panel"
widget_class "*notif*" style "panel"
#widget_class "*?anel*utton" style "panel_task_button" # causing problems to monodevelop
widget "*task*" style "panel_task_button"
widget "*.tasklist-button" style "panel_task_button"
widget "*PanelApplet*TaskTitle*" style "panel_task_button"
|
