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

try to use monospace font

Browse Source
This commit is contained in:
Tom Tromey
2013-11-16 20:40:53 -07:00
parent 272efb37b9
commit 2246853368
2 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
gui/display.py
View File

@@ -18,7 +18,7 @@
import gdb
import gui.updatewindow
import gui.startup
from gi.repository import Gtk
from gi.repository import Gtk, Pango
import functools
from gui.startup import in_gdb_thread, in_gtk_thread
import gui.events
@@ -46,6 +46,7 @@ class DisplayWindow(gui.updatewindow.UpdateWindow):
self.window = builder.get_object('logwindow')
self.view = builder.get_object('textview')
self.view.modify_font(Pango.FontDescription('Fixed'))
self.buffer = builder.get_object('buffer')
self.window.set_title('GDB "%s" @%d' % (self.command, self.number))

3
gui/logwindow.py
View File

@@ -18,7 +18,7 @@
import gdb
import gui.toplevel
import gui.startup
from gi.repository import Gtk
from gi.repository import Gtk, Pango
import functools
default_log_window = None
@@ -36,6 +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.buffer = builder.get_object('buffer')
self.window.set_title('GDB Log @%d' % self.number)