public void fireLocalScrollBarValueChanged() {
    if (editor.isDisposed()) return;  // to avoid DisposalException: Editor is already disposed

    if (isLocalScrollBarStabilized) {
      reflectLocalScrollBarStateToTargetPosition();
    }
    requestUpdate();
  }
public void fireLocalScrollBarValueChanged()