home · contact · privacy
Some more questionably hand-coded type safety. master
authorChristian Heller <c.heller@plomlompom.de>
Tue, 3 Jun 2025 15:59:49 +0000 (17:59 +0200)
committerChristian Heller <c.heller@plomlompom.de>
Tue, 3 Jun 2025 15:59:49 +0000 (17:59 +0200)
ircplom.py

index 0751ca2f92b72782bc94286e61cb3719ff9c731a..1a50b5c247473e34a23333487dd6922470a3a895 100755 (executable)
@@ -415,6 +415,7 @@ class PromptWidget(ScrollableWidget):
         self._history_idx = 0
 
     def set_geometry(self, measurements: tuple[int | YX, ...]) -> None:
+        assert len(measurements) == 1
         assert isinstance(measurements[0], int)
         self._start_y = measurements[0]
 
@@ -483,6 +484,7 @@ class LogWidget(ScrollableWidget):
         return len(wrapped_lines)
 
     def set_geometry(self, measurements: tuple[int | YX, ...]) -> None:
+        assert len(measurements) == 1
         assert isinstance(measurements[0], YX)
         self._view_size = measurements[0]
         self._y_pgscroll = self._view_size.y // 2