avoid markup on unknown strings
issue2843 review576002 (transplanted from ee1eeb93e98c8a82678b6cf37fa44fbc1b41fd55)
This commit is contained in:
1 parent
f4dbcd33da
commit
a5d70fc4ce
1 file changed
+2
-3
@@ -77,9 +77,8 @@ class WinForm(NoModal):
|
||||
self.win.set_title(self.screen.current_view.title)
|
||||
|
||||
title = gtk.Label()
|
||||
title.set_use_markup(True)
|
||||
title.modify_font(pango.FontDescription("12"))
|
||||
title.set_label('<b>' + self.screen.current_view.title + '</b>')
|
||||
title.modify_font(pango.FontDescription("bold 12"))
|
||||
title.set_label(self.screen.current_view.title)
|
||||
title.set_padding(20, 3)
|
||||
title.set_alignment(0.0, 0.5)
|
||||
title.modify_fg(gtk.STATE_NORMAL, gtk.gdk.color_parse("#000000"))
|
||||
|
||||
Reference in new issue
Block a user