Commit
d14dbe49153d6aea866aee412681c154abbbcb5f
by fducroquetImprove real-time updates
– Do not recompute the whole dependencies before and after the shiftTs.
– Fix issue where the former value of a holder would still appear in the
editor
after the value has been changed from another browser.
(commit: d14dbe4)