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 |
""" |