Skip to content

fix: revive deephaven.ui widgets after a reconnect - #1390

Open
fyrkov wants to merge 3 commits into
deephaven:mainfrom
fyrkov:fix-ui-widget-reconnect
Open

fix: revive deephaven.ui widgets after a reconnect#1390
fyrkov wants to merge 3 commits into
deephaven:mainfrom
fyrkov:fix-ui-widget-reconnect

fix: type document-patched state param as optional and validate it

c2d9a8c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
pr-check
succeeded Jul 17, 2026 in 6s