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

Disable scratch in PyCharm.

Browse Source
This commit is contained in:
Dmitry Trofimov
2014-10-16 17:15:20 +02:00
parent 200bc01e8a
commit c6019156ab
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
python/ide/src/com/jetbrains/python/PyCharmInitialConfigurator.java
+3
View File
@@ -23,6 +23,7 @@ import com.intellij.ide.util.PropertiesComponent;
import com.intellij.openapi.application.ApplicationManager;
import com.intellij.openapi.editor.ex.EditorSettingsExternalizable;
import com.intellij.openapi.fileTypes.FileTypeManager;
import com.intellij.openapi.util.registry.Registry;
import com.intellij.openapi.wm.WindowManager;
import com.intellij.psi.codeStyle.CodeStyleSettings;
import com.intellij.psi.codeStyle.CodeStyleSettingsManager;
@@ -88,6 +89,8 @@ public class PyCharmInitialConfigurator {
}
});
}
Registry.get("ide.scratch.enabled").setValue(false); //disable scratch till it is ready
}
private static void showInitialConfigurationDialog() {