Fixing typing for pane refresh

Author: rgaudin

pyproject.toml

@@ -41,7 +41,7 @@ lint = [
   "ruff==0.12.0",
 ]
 check = [
-  "pyright==1.1.403",
+  "pyright==1.1.404",
 ]
 test = [
   "pytest==8.4.1",

src/provisioner/tui/app.py

@@ -110,7 +110,7 @@ def __init__(self) -> None:
 
     def on_unhandled_input(self, key: str | tuple[str, int, int, int]) -> None:
         if key == "f5":
-            if self.pane and hasattr(self.pane, "refresh"):
+            if self.pane:
                 self.pane.refresh()
         if key in {"q", "Q"}:
             if self.pane:

src/provisioner/tui/pane.py

@@ -71,6 +71,8 @@ def remove_from(self, list_w: uw.Widget, entry: WidgetListEntry | uw.Widget):
 
     def stop(self): ...
 
+    def refresh(self): ...
+
     def update(self):
         self.app.update()