From 52b812badaa0904bc6225eeabbf62538db509eba Mon Sep 17 00:00:00 2001 From: Dawn Date: Mon, 10 Aug 2026 10:23:52 +0200 Subject: [PATCH] style: narrow the manual-resize press state for the pyright gate The diff-vs-main basedpyright gate flags QRect(self._press_geom) because only _press_global was narrowed; both are set together in mousePressEvent, so the extra check is a no-op at runtime. Co-Authored-By: Claude Fable 5 --- src/aare/gui/widgets/popout_window.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/aare/gui/widgets/popout_window.py b/src/aare/gui/widgets/popout_window.py index 40fd96b9..e615bbfc 100644 --- a/src/aare/gui/widgets/popout_window.py +++ b/src/aare/gui/widgets/popout_window.py @@ -196,7 +196,9 @@ class PopoutWindow(QWidget): super().mousePressEvent(event) def mouseMoveEvent(self, event): - if self._manual_edges and self._press_global is not None: + # Both press fields are set together in mousePressEvent; the second + # check exists for the pyright gate, which can't see that pairing. + if self._manual_edges and self._press_global is not None and self._press_geom is not None: delta = event.globalPosition().toPoint() - self._press_global geom = QRect(self._press_geom) if self._manual_edges & Qt.Edge.LeftEdge: