mirror of
https://github.com/aclist/dztui.git
synced 2026-10-25 12:12:31 +01:00
fix: add bottom padding
This commit is contained in:
1 parent
067b77bf92
commit
1e8a423ec3
1 file changed
+1
@@ -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)
|
||||
|
||||
Reference in new issue
Block a user