From cfbc0922286e4de38402bee7018e0f3c90b60fa3 Mon Sep 17 00:00:00 2001
From: Dmitry Trofimov <dmitry.trofimov@jetbrains.com>
Date: Thu, 14 Aug 2014 17:12:40 +0200
Subject: [PATCH] Fix edu initial configurator.

---
 .../python/edu/PyCharmEduInitialConfigurator.java     | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

diff --git a/python/edu/src/com/jetbrains/python/edu/PyCharmEduInitialConfigurator.java b/python/edu/src/com/jetbrains/python/edu/PyCharmEduInitialConfigurator.java
index ae121573e593..ecf3d79a6424 100644
--- a/python/edu/src/com/jetbrains/python/edu/PyCharmEduInitialConfigurator.java
+++ b/python/edu/src/com/jetbrains/python/edu/PyCharmEduInitialConfigurator.java
@@ -125,10 +125,13 @@ public class PyCharmEduInitialConfigurator {
           ApplicationManager.getApplication().invokeLater(new Runnable() {
             @Override
             public void run() {
-              GeneralSettings.getInstance().setShowTipsOnStartup(false);
-              showInitialConfigurationDialog();
-              propertiesComponent.setValue(DISPLAYED_PROPERTY, "true");
-              patchKeymap();
+              if (!propertiesComponent.isValueSet(DISPLAYED_PROPERTY)) {
+                GeneralSettings.getInstance().setShowTipsOnStartup(false);
+                propertiesComponent.setValue(DISPLAYED_PROPERTY, "true");
+                showInitialConfigurationDialog();
+
+                patchKeymap();
+              }
             }
           });
         }