MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

don't delete bundled plugins when installing an updated plugin with the same ID from the plugin repo

Browse Source
This commit is contained in:
Dmitry Jemerov
2015-07-20 17:29:47 +02:00
parent 934bf974f8
commit 26820cfdf0
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/ide/plugins/InstalledPluginsManagerMain.java
+1 -1
View File
@@ -151,7 +151,7 @@ public class InstalledPluginsManagerMain extends PluginManagerMain {
}
IdeaPluginDescriptor installedPlugin = PluginManager.getPlugin(pluginDescriptor.getPluginId());
if (installedPlugin != null) {
if (installedPlugin != null && !installedPlugin.isBundled()) {
File oldFile = installedPlugin.getPath();
if (oldFile != null) {
StartupActionScriptManager.addActionCommand(new StartupActionScriptManager.DeleteCommand(oldFile));