void () { if (myAutoscrollFeedback) { myAutoscrollFeedback = false; return; } if (!getSettings().AUTOSCROLL_FROM_SOURCE) { return; } cancelScrollToSelectedElement(); myAutoscrollAlarm.cancelAllRequests(); myAutoscrollAlarm.addRequest(this::scrollToSelectedElementLater, 1000); }