87888990919293949596
private final class EditorListener extends EditorServiceAdapter { @Override public void editorClosed(EditorServiceEvent evt) { EditorHistoryPoint closed = evt.getEditor().getHistoryPoint(); if (closed != null) { onEditorClosed(closed); } }
123124125126127128129130131132
} } @Override public void editorOpened(EditorServiceEvent evt) { EditorHistoryPoint opened = evt.getEditor().getHistoryPoint(); if (opened != null) { onEditorOpened(opened); } }