console: add top margin and make it easier to read
This commit is contained in:
parent
b42043bc79
commit
3a5427c7f0
@ -97,7 +97,7 @@ class ConsolePanel(ScreenPanel):
|
|||||||
})
|
})
|
||||||
|
|
||||||
content_box = Gtk.VBox()
|
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.add(sw)
|
||||||
content_box.pack_end(ebox, False, 0, 0)
|
content_box.pack_end(ebox, False, 0, 0)
|
||||||
self.content.add(content_box)
|
self.content.add(content_box)
|
||||||
@ -118,7 +118,7 @@ class ConsolePanel(ScreenPanel):
|
|||||||
else:
|
else:
|
||||||
color = COLORS['response']
|
color = COLORS['response']
|
||||||
|
|
||||||
message = '<span color="%s">%s</span>' % (color, message)
|
message = '<span color="%s"><b>%s</b></span>' % (color, message)
|
||||||
|
|
||||||
message = message.replace('\n', '\n ')
|
message = message.replace('\n', '\n ')
|
||||||
|
|
||||||
|
Loading…
x
Reference in New Issue
Block a user