void (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()); } }