EditorConfigContentProvider.java 文件源码

@Override
public void resourceChanged(IResourceChangeEvent event) {
    if ((event.getDelta().getFlags() ^ IResourceDelta.MARKERS) != 0) {
        try {
            event.getDelta().accept(delta -> {
                if (delta.getResource().equals(this.resource)) {
                    viewer.getControl().getDisplay().asyncExec(() -> {
                        if (viewer instanceof StructuredViewer) {
                            viewer.refresh(true);
                        }
                    });
                }
                return delta.getResource().getFullPath().isPrefixOf(this.resource.getFullPath());
            });
        } catch (CoreException e) {
            // LanguageServerPlugin.logError(e);
        }
    }
}