Browse Source
Don't set a widget value if it hasn't changed, to avoid triggering DOMWidget set callbackpull/3093/head
chrisgoringe
8 months ago
committed by
GitHub
1 changed files with 1 additions and 1 deletions
Loading…
Reference in new issue