From 4378e7b36b089a15a2f55d066f18ee2abc1630a8 Mon Sep 17 00:00:00 2001
From: anna <Anna.Kozlova@jetbrains.com>
Date: Tue, 14 Feb 2012 09:38:11 +0100
Subject: [PATCH] delete download plugins properties from config dir after
 import from directory (IDEA-81286)

---
 .../com/intellij/openapi/application/ConfigImportHelper.java | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/platform/platform-impl/src/com/intellij/openapi/application/ConfigImportHelper.java b/platform/platform-impl/src/com/intellij/openapi/application/ConfigImportHelper.java
index 168135da7b28..3be912d6dd8b 100644
--- a/platform/platform-impl/src/com/intellij/openapi/application/ConfigImportHelper.java
+++ b/platform/platform-impl/src/com/intellij/openapi/application/ConfigImportHelper.java
@@ -192,6 +192,11 @@ public class ConfigImportHelper {
     if (plugins.exists()) {
       FileUtil.delete(plugins);
     }
+    
+    File pluginsSettings = new File(new File(dest, "options"), "plugin_ui.xml");
+    if (pluginsSettings.exists()) {
+      FileUtil.delete(pluginsSettings);
+    }
   }
 
   @Nullable