jiriks74/dztui
1
0
Fork 0
mirror of https://github.com/aclist/dztui.git synced 2025-07-15 20:18:49 +02:00
Code Issues Wiki Activity Actions

fix: set margins

Browse source
This commit is contained in:
aclist 2024-01-31 16:17:45 +09:00
parent 274df41748
commit ac8a5f8175
3 changed files with 7 additions and 6 deletions
helpers
ui.py

3
helpers/ui.py
View file

@ -16,7 +16,7 @@ locale.setlocale(locale.LC_ALL, '')
gi.require_version("Gtk", "3.0")
from gi.repository import Gtk, GLib, Gdk, GObject, Pango
# 5.0.0-rc.39
# 5.0.0-rc.40
app_name = "DZGUI"
cache = {}
@ -1520,6 +1520,7 @@ class FilterPanel(Gtk.Box):
self.connect("button-release-event", self._on_button_release)
self.set_orientation(Gtk.Orientation.VERTICAL)
set_surrounding_margins(self, 10)
self.set_margin_top(1)
self.filters_label = Gtk.Label(label="Filters")