commit d0ae36ee0e59d17e29a27532cf9a320d4fb2ea07
parent 0a56abccfff2cb32979c16c987ec4b7ce9b8f94f
Author: ThomasV <thomasv@gitorious>
Date: Tue, 14 Feb 2012 20:16:09 +0100
use monospace font (gtk too)
Diffstat:
1 file changed, 2 insertions(+), 0 deletions(-)
diff --git a/client/gui.py b/client/gui.py
@@ -700,11 +700,13 @@ class ElectrumWindow:
self.payto_sig.set_visible(False)
def create_about_tab(self):
+ import pango
page = gtk.VBox()
page.show()
tv = gtk.TextView()
tv.set_editable(False)
tv.set_cursor_visible(False)
+ tv.modify_font(pango.FontDescription("monospace 10"))
page.pack_start(tv)
self.info = tv.get_buffer()
self.add_tab(page, 'Wall')