You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently, the GUI is only updated after an event handler returns or when force_refresh() is called. It would arguably be more intuitive if state changes automatically triggered a refresh (say with a delay of 100ms or so).
One potential problem with this is that a component might be rebuilt while it's in an inconsistent state. However, that can only happen if the user's code has an await statement in the middle.
The text was updated successfully, but these errors were encountered:
Currently, the GUI is only updated after an event handler returns or when
force_refresh()
is called. It would arguably be more intuitive if state changes automatically triggered a refresh (say with a delay of 100ms or so).One potential problem with this is that a component might be rebuilt while it's in an inconsistent state. However, that can only happen if the user's code has an
await
statement in the middle.The text was updated successfully, but these errors were encountered: