Skip to content

Commit

Permalink
open page
Browse files Browse the repository at this point in the history
  • Loading branch information
rodja committed Jul 22, 2024
1 parent 687701e commit 56e00b0
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions tests/test_element_filter.py
Original file line number Diff line number Diff line change
Expand Up @@ -273,6 +273,7 @@ async def test_typing(user: User):
ui.button('button A')
ui.label('label A')

await user.open('/')
# NOTE we have not yet found a way to test the typing suggestions automatically
# to test, hover over the variable and verify that your IDE inferres the correct type
_ = ElementFilter(kind=ui.button) # ElementFilter[ui.button]
Expand Down

0 comments on commit 56e00b0

Please sign in to comment.