1j01/textual-paint
1
1
Fork 0
mirror of https://github.com/1j01/textual-paint.git synced 2025-01-09 00:28:08 +03:00
Code Issues Packages Projects Releases Wiki Activity

Fix type checker errors and ignore one

Browse Source
This commit is contained in:
Isaiah Odhner 2023-06-03 20:08:27 -04:00
parent 62fb218a1a
commit fc279f0574
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/textual_paint/inspector.py
View File

@ -853,6 +853,7 @@ class Inspector(Container):
used_boxes: list[Container] = []
def show_box(name: str, region: Region, color: str) -> None:
"""Draw a box to the screen."""
assert isinstance(dom_node, Widget), "dom_node needed for association with highlight box, but got: " + repr(dom_node)
try:
box = self._highlight_boxes[dom_node][name]
except KeyError:
@ -877,7 +878,7 @@ class Inspector(Container):
# show_box("region", dom_node.region, "blue")
# show_box("scrollable_content_region", dom_node.scrollable_content_region, "red")
try:
map_geometry = self.screen.find_widget(dom_node)
map_geometry = self.screen.find_widget(dom_node) # type: ignore
except NoWidget:
return
# Show the hovered widget's region, as it extends OUTSIDE of the clip region