void (RunDashboardDefaultTypesProvider extension, @NotNull PluginDescriptor pluginDescriptor) { Set<String> types = new HashSet<>(getTypes()); types.removeAll(extension.getDefaultTypeIds(myProject)); setTypes(types); dashboardUpdater.extensionRemoved(extension, pluginDescriptor); }