void () { if (mySession == null) return; ApplicationManager.getApplication().invokeLater(() -> { mySourcePosition = mySession.getCurrentPosition(); getInputEditor().setSourcePosition(mySourcePosition); }); }