diff options
| author | Sebastian Koslowski <koslowski@kit.edu> | 2016-05-31 17:35:10 +0200 |
|---|---|---|
| committer | Sebastian Koslowski <koslowski@kit.edu> | 2016-05-31 17:35:10 +0200 |
| commit | 69da909690bb8bc2072cffb622ddf7bf2e971cce (patch) | |
| tree | d1b961b21ba9cee24b26491138e247160e3bd726 /grc/gui/PropsDialog.py | |
| parent | 71534ba66111d625ca2c1aeff11459796e4cea3a (diff) | |
grc: gtk3: remove canvas size and enable zooming
Diffstat (limited to 'grc/gui/PropsDialog.py')
| -rw-r--r-- | grc/gui/PropsDialog.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/grc/gui/PropsDialog.py b/grc/gui/PropsDialog.py index ca41abc003..d6b64944cc 100644 --- a/grc/gui/PropsDialog.py +++ b/grc/gui/PropsDialog.py @@ -87,7 +87,9 @@ class PropsDialog(Gtk.Dialog): self._code_text_display = code_view = SimpleTextDisplay() code_view.set_wrap_mode(Gtk.WrapMode.NONE) code_view.get_buffer().create_tag('b', weight=Pango.Weight.BOLD) - code_view.override_font(Pango.FontDescription('monospace %d' % Constants.FONT_SIZE)) + code_view.set_monospace(True) + # todo: set font size in non-deprecated way + # code_view.override_font(Pango.FontDescription('monospace %d' % Constants.FONT_SIZE)) code_box = Gtk.ScrolledWindow() code_box.set_policy(Gtk.PolicyType.AUTOMATIC, Gtk.PolicyType.AUTOMATIC) code_box.add_with_viewport(self._code_text_display) |