mirror of
https://github.com/aclist/dztui.git
synced 2026-11-03 16:42:13 +01:00
chore: clear typehinting errors
This commit is contained in:
1 parent
8fc7aa5165
commit
a3875789c1
5 files changed
+19
-15
No files matched your search
@@ -45,7 +45,7 @@ class ButtonGrid(Gtk.Grid):
|
||||
checkbox = Gtk.CheckButton(label=check)
|
||||
label = checkbox.get_child()
|
||||
if label is not None:
|
||||
label.set_ellipsize(Pango.EllipsizeMode.END) # type: ignore
|
||||
label.set_ellipsize(Pango.EllipsizeMode.END) # type: ignore
|
||||
|
||||
if defaults[check]:
|
||||
checkbox.set_active(True)
|
||||
@@ -188,6 +188,7 @@ class FilterPanel(Gtk.Box):
|
||||
|
||||
self.maps_entry: Gtk.Entry = self.maps_combo.get_child() # type: ignore
|
||||
self.maps_entry.set_completion(completion)
|
||||
# TODO: strings
|
||||
self.maps_entry.set_placeholder_text("Filter by map")
|
||||
self.maps_entry.connect("changed", self._on_map_completion, True)
|
||||
self.maps_entry.connect("key-press-event", self._on_map_entry_keypress)
|
||||
|
||||
Reference in new issue
Block a user