protected void selectInAlarm(final FileEditor editor) {
    // Code WithMe: do not process changes from remote (client) editor switching
    if (!ClientId.isCurrentlyUnderLocalId()) return;

    if (editor != null && myComponent.isShowing() && isAutoScrollEnabled()) {
      myAlarm.cancelAllRequests();
      myAlarm.addRequest(() -> selectElementFromEditor(editor), getAlarmDelay(), getModalityState());
    }
  }
protected void selectInAlarm(final FileEditor editor)