}
SchedulerInstance.getHighPriorityTimer().schedule(new Task() {
@Override
public void execute() {
CursorDirection current = lastDirection;
if (!settings.useFancyCursorBias()) {
current = CursorDirection.FROM_LEFT;
}
FocusedRange focused = getSelectionHelper().getSelectionRange();