mirror of
https://github.com/aclist/dztui.git
synced 2026-08-25 17:32:36 +02:00
fix: add bottom padding
This commit is contained in:
parent
97ddbcdf0a
commit
c64631cdca
@ -202,6 +202,7 @@ class ExceptionDialog(GenericDialog):
|
||||
left_margin=10,
|
||||
right_margin=10,
|
||||
top_margin=15,
|
||||
bottom_margin=10,
|
||||
)
|
||||
textview.set_buffer(Gtk.TextBuffer(text=self.trace))
|
||||
box.pack_start(textview, EXPAND, FILL, 0)
|
||||
|
||||
Loading…
Reference in New Issue
Block a user