void () { // The plugins configurable may be recreated when installing a plugin that registers any configurables, // and this leads to a call of disposeUIResources() that lands here. In this case we must not forget // the list of plugins installed/uninstalled without restart (IDEA-233045) if (!myInstallationInProgress) { myInstalledWithoutRestartPlugins.clear(); myUninstalledWithoutRestartPlugins.clear(); } }