Lerking/gdb-gui
1
0
Fork 0
mirror of https://github.com/tromey/gdb-gui.git synced 2025-07-21 13:01:16 +02:00
Code Issues Packages Projects Releases Wiki Activity

use monospace, not Fixed

Browse Source
This commit is contained in:
Tom Tromey
2015-04-30 12:38:26 -06:00
parent cc0fac354e
commit 99cbf92868
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
gui/logwindow.py
View File

@@ -1,4 +1,4 @@
# Copyright (C) 2013 Tom Tromey <tom@tromey.com>
# Copyright (C) 2013, 2015 Tom Tromey <tom@tromey.com>
# This program is free software; you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
@@ -36,7 +36,7 @@ class LogWindow(gui.toplevel.Toplevel):
self.window = builder.get_object('logwindow')
self.view = builder.get_object('textview')
self.view.modify_font(Pango.FontDescription('Fixed'))
self.view.modify_font(Pango.FontDescription('monospace'))
self.buffer = builder.get_object('buffer')
self.window.set_title('GDB Log @%d' % self.number)