void () { if (editor.isDisposed()) return; // to avoid DisposalException: Editor is already disposed if (isLocalScrollBarStabilized) { reflectLocalScrollBarStateToTargetPosition(); } requestUpdate(); }