summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xmat-gui5
1 files changed, 3 insertions, 2 deletions
diff --git a/mat-gui b/mat-gui
index 9aefb6b..6f100ec 100755
--- a/mat-gui
+++ b/mat-gui
@@ -131,7 +131,7 @@ class GUI:
131 toolbutton.set_tooltip_text(_('Clear the filelist')) 131 toolbutton.set_tooltip_text(_('Clear the filelist'))
132 toolbar.add(toolbutton) 132 toolbar.add(toolbutton)
133 133
134 toolbutton = gtk.ToolButton(stock_id=gtk.STOCK_QUIT) 134 toolbutton = Gtk.ToolButton(stock_id=Gtk.STOCK_QUIT)
135 toolbutton.set_label(_('Quit')) 135 toolbutton.set_label(_('Quit'))
136 toolbutton.connect('clicked', Gtk.main_quit) 136 toolbutton.connect('clicked', Gtk.main_quit)
137 toolbar.add(toolbutton) 137 toolbar.add(toolbutton)
@@ -438,7 +438,8 @@ class GUI:
438 if item['support'] == 'partial': 438 if item['support'] == 'partial':
439 content += '\n\t<b>remaining</b> : ' + item['remaining'] 439 content += '\n\t<b>remaining</b> : ' + item['remaining']
440 440
441 expander = Gtk.Expander(title) 441 expander = Gtk.Expander()
442 expander.set_label(title)
442 vbox.pack_start(expander, False, False, 0) 443 vbox.pack_start(expander, False, False, 0)
443 label = Gtk.Label() 444 label = Gtk.Label()
444 label.set_markup(content) 445 label.set_markup(content)