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

use a monospace font

Browse Source
This commit is contained in:
Tom Tromey
2015-04-28 20:47:44 -06:00
parent 2d750e210b
commit 6ce3e8f72b
1 changed files with 6 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
gui/source.py
View File

@@ -1,4 +1,4 @@
# Copyright (C) 2012, 2013 Tom Tromey <tom@tromey.com>
# Copyright (C) 2012, 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
@@ -25,7 +25,7 @@ import gui.toplevel
import gui.events
import os.path
from gi.repository import Gtk, GtkSource, GObject, Gdk, GdkPixbuf
from gi.repository import Gtk, GtkSource, GObject, Gdk, GdkPixbuf, Pango
class BufferManager:
def __init__(self):
@@ -193,6 +193,10 @@ class SourceWindow(Toplevel):
self.window = builder.get_object("sourcewindow")
self.view = builder.get_object("view")
font_desc = Pango.FontDescription('monospace')
if font_desc:
self.view.modify_font(font_desc)
attrs = GtkSource.MarkAttributes()
# FIXME: really we want a little green dot...
attrs.set_pixbuf(self._get_pixmap('icons/countpoint-marker.png'))