Skip to content
Snippets Groups Projects
Commit 477b960c authored by Daniel Brötzmann's avatar Daniel Brötzmann Committed by Philipp Hörist
Browse files

CodeWidget: Add margins

parent 7afe8d4d
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
gajim/gtk/conversation/code_widget.py
+ 2
− 0
View file @ 477b960c
...@@ -91,6 +91,8 @@ def __init__(self): ...@@ -91,6 +91,8 @@ def __init__(self):
self.set_editable(False) self.set_editable(False)
self.set_cursor_visible(False) self.set_cursor_visible(False)
self.set_wrap_mode(Gtk.WrapMode.WORD_CHAR) self.set_wrap_mode(Gtk.WrapMode.WORD_CHAR)
self.set_top_margin(2)
self.set_bottom_margin(2)
self._source_manager = GtkSource.LanguageManager.get_default() self._source_manager = GtkSource.LanguageManager.get_default()
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment