mirror of
https://github.com/aclist/dztui.git
synced 2026-11-01 15:42:51 +01:00
feat: dzgui 7 alpha
This commit is contained in:
1 parent
1acdbd58c5
commit
2e5b771137
150 files changed
+10359
No files matched your search
@@ -0,0 +1,12 @@
|
||||
import gi # noqa E402
|
||||
gi.require_version("Gtk", "3.0")
|
||||
from gi.repository import Gtk
|
||||
|
||||
def set_surrounding_margins(widget: Gtk.Widget, margin: int) -> None:
|
||||
"""
|
||||
Utility function that sets all margins
|
||||
on a widget to a uniform integer value
|
||||
"""
|
||||
widget.set_margin_top(margin)
|
||||
widget.set_margin_start(margin)
|
||||
widget.set_margin_end(margin)
|
||||
Reference in new issue
Block a user