From 3a5427c7f0742f8027018e9365b16339efcb0d11 Mon Sep 17 00:00:00 2001 From: alfrix Date: Sun, 17 Apr 2022 06:20:09 -0300 Subject: [PATCH] console: add top margin and make it easier to read --- panels/console.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/panels/console.py b/panels/console.py index dfa2d606..d24af5e4 100644 --- a/panels/console.py +++ b/panels/console.py @@ -97,7 +97,7 @@ class ConsolePanel(ScreenPanel): }) content_box = Gtk.VBox() - content_box.pack_start(options, False, 0, 0) + content_box.pack_start(options, False, 0, 5) content_box.add(sw) content_box.pack_end(ebox, False, 0, 0) self.content.add(content_box) @@ -118,7 +118,7 @@ class ConsolePanel(ScreenPanel): else: color = COLORS['response'] - message = '%s' % (color, message) + message = '%s' % (color, message) message = message.replace('\n', '\n ')