diff options
| author | jvoisin | 2012-02-19 18:35:28 +0100 |
|---|---|---|
| committer | jvoisin | 2012-02-19 18:35:28 +0100 |
| commit | 396b9d99d4d100cb4a40a9ad86d1cb7f87bc094b (patch) | |
| tree | 428a9ab1128f622691630d567812f012a54fce1d /mat-gui | |
| parent | 8a110652634824c83b7c27d89cfc29d7d9435e2c (diff) | |
Fix a bug inthe "about" dialog
Clicking on close didn't destroy the window
Diffstat (limited to 'mat-gui')
| -rwxr-xr-x | mat-gui | 3 |
1 files changed, 1 insertions, 2 deletions
| @@ -387,8 +387,7 @@ class GUI: | |||
| 387 | w.set_website_label(_('Website')) | 387 | w.set_website_label(_('Website')) |
| 388 | w.set_position(gtk.WIN_POS_CENTER) | 388 | w.set_position(gtk.WIN_POS_CENTER) |
| 389 | click = w.run() | 389 | click = w.run() |
| 390 | if click: | 390 | w.destroy() |
| 391 | w.destroy() | ||
| 392 | 391 | ||
| 393 | def __supported(self, button): | 392 | def __supported(self, button): |
| 394 | ''' | 393 | ''' |
