EditorAreaComponent.java 文件源码

/**
 * Handle the request to close a file editor.
 */
@FXThread
private void processChangeTabs(@NotNull final ListChangeListener.Change<? extends Tab> change) {
    if (!change.next()) return;

    final List<? extends Tab> removed = change.getRemoved();
    if (removed == null || removed.isEmpty()) return;

    removed.forEach(tab -> {

        final ObservableMap<Object, Object> properties = tab.getProperties();
        final FileEditor fileEditor = (FileEditor) properties.get(KEY_EDITOR);
        final Path editFile = fileEditor.getEditFile();

        DictionaryUtils.runInWriteLock(getOpenedEditors(), editFile, ObjectDictionary::remove);

        fileEditor.notifyClosed();

        if (isIgnoreOpenedFiles()) return;

        final Workspace workspace = WORKSPACE_MANAGER.getCurrentWorkspace();
        if (workspace != null) workspace.removeOpenedFile(editFile);
    });
}