diff options
Diffstat (limited to 'purk/widgets.py')
| -rw-r--r-- | purk/widgets.py | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/purk/widgets.py b/purk/widgets.py index b0d87d2..9ab8c52 100644 --- a/purk/widgets.py +++ b/purk/widgets.py @@ -593,12 +593,18 @@ class TextOutput(Gtk.TextView): self.events = core.events self.win = window - self.set_size_request(0, -1) + self.set_size_request(0 , -1) + + self.set_property("left-margin", 3) + self.set_property("right-margin", 3) self.set_wrap_mode(Gtk.WrapMode.WORD_CHAR) self.set_editable(False) self.set_cursor_visible(False) + self.set_left_margin(3) + self.set_right_margin(3) + self.linking = set() self.add_events(Gdk.EventMask.POINTER_MOTION_HINT_MASK) |