void (@NotNull KeyedLazyInstance<FoldingBuilder> extension, @NotNull PluginDescriptor pluginDescriptor) { // Synchronously remove foldings when an extension is removed for (FileEditor fileEditor : FileEditorManager.getInstance(project).getAllEditors()) { if (fileEditor instanceof TextEditor) { updateFoldRegions(((TextEditor)fileEditor).getEditor()); } } }