gen_config.py.patch
gen_config.py 2012-04-06 23:31:00.000000000 +0200 | ||
---|---|---|
1462 | 1462 |
""" |
1463 | 1463 |
Active et desactive les boutons selon leur champ hidden |
1464 | 1464 |
""" |
1465 |
mwidth = 0 |
|
1465 | 1466 |
for family, value in self.eole_dico.families.items(): |
1466 | 1467 |
if self.mode == 'normal' and family not in self.eole_dico.normal_families: |
1467 | 1468 |
continue |
1469 |
button = self.button_stock[family] |
|
1468 | 1470 |
if value['hidden'] == True: |
1469 | 1471 |
#self.button_stock[family].set_sensitive(False) |
1470 |
self.button_stock[family].hide()
|
|
1472 |
button.hide()
|
|
1471 | 1473 |
else: |
1472 | 1474 |
#self.button_stock[family].set_sensitive(True) |
1473 |
self.button_stock[family].show() |
|
1475 | ||
1476 |
button.show() |
|
1477 |
width, height = gtk.Widget.size_request(button) |
|
1478 |
mwidth = max(width, mwidth) |
|
1479 |
mwidth += 31 |
|
1480 |
self.vbox3 = self.glade.get_widget('vbox3') |
|
1481 |
gtk.Widget.set_size_request(self.vbox3, mwidth, -1) |
|
1474 | 1482 | |
1475 | 1483 |
def _disable_edits(self): |
1476 | 1484 |
""" |