mirror of
https://github.com/aclist/dztui.git
synced 2026-10-31 07:02:50 +01:00
chore: clear typehinting errors
This commit is contained in:
1 parent
1c154a709d
commit
ff59d6dc35
2 files changed
+2
-2
No files matched your search
@@ -41,7 +41,7 @@ class CursorMixin:
|
|||||||
try:
|
try:
|
||||||
cur_row = self.get_focused_row_index() # type: ignore
|
cur_row = self.get_focused_row_index() # type: ignore
|
||||||
except Exception:
|
except Exception:
|
||||||
return
|
return False
|
||||||
|
|
||||||
if position == CursorPosition.DOWN:
|
if position == CursorPosition.DOWN:
|
||||||
if cur_row == end:
|
if cur_row == end:
|
||||||
|
|||||||
@@ -46,7 +46,7 @@ class ShortHBox(Gtk.Box):
|
|||||||
self.pack_start(widget, NO_EXPAND, NO_FILL, NO_PADDING)
|
self.pack_start(widget, NO_EXPAND, NO_FILL, NO_PADDING)
|
||||||
|
|
||||||
|
|
||||||
class Options(ScrollableMixin, Gtk.ScrolledWindow):
|
class Options(ScrollableMixin, Gtk.ScrolledWindow): # type: ignore
|
||||||
def __init__(self, controller: "Controller"):
|
def __init__(self, controller: "Controller"):
|
||||||
super().__init__(
|
super().__init__(
|
||||||
margin_start=10,
|
margin_start=10,
|
||||||
|
|||||||
Reference in new issue
Block a user