4
'gradient_divider': 1.50,
9
def __init__(self, box, conf, ind):
15
if not key in conf.launcher[ind]:
16
conf.launcher[ind][key] = settings[key]
18
self.settings = conf.launcher[ind]
20
table = gtk.Table(2, 4, False)
22
label = gtk.Label("Background gradient divider :")
23
label.set_alignment(0, 0.5)
24
adjustment = gtk.Adjustment(value=float(self.settings['gradient_divider']), lower=1.0, upper=2.0, step_incr=0.05, page_size=0)
25
self.gradient_divider = gtk.SpinButton(adjustment=adjustment, climb_rate=0.0, digits=2)
26
table.attach(label, 0, 1, 0, 1)
27
table.attach(self.gradient_divider, 1, 2, 0, 1)
29
self.gradient_invert = gtk.CheckButton('Invert background gradient before dividing')
30
self.gradient_invert.set_active(int(self.settings['gradient_invert']))
32
table.attach(self.gradient_invert, 0, 2, 1, 2)
35
label.set_alignment(0, 0.5)
36
table.attach(label, 0, 2, 2, 3)
38
label = gtk.Label('These apply only when bar background is set to gradient.')
39
label.set_alignment(0, 0.5)
40
table.attach(label, 0, 2, 3, 4)
42
box.pack_start(table, False, False)
44
def save_change(self):
45
self.conf.launcher[self.ind]['gradient_divider'] = float(self.gradient_divider.get_value())
46
self.conf.launcher[self.ind]['gradient_invert'] = int(self.gradient_invert.get_active())