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

Remove usage of removed registry key

Browse Source
This commit is contained in:
Dmitry Trofimov
2017-10-23 13:43:26 +02:00
parent 585bcdcba6
commit ebaa7b7e76
2 changed files with 1 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
python/ide/src/com/jetbrains/python/PyCharmInitialConfigurator.java
+1 -1
View File
@@ -74,9 +74,9 @@ public class PyCharmInitialConfigurator {
propertiesComponent.setValue("PyCharm.InitialConfiguration.V6", true);
CodeInsightSettings.getInstance().INDENT_TO_CARET_ON_PASTE = true;
}
if (!propertiesComponent.getBoolean("PyCharm.InitialConfiguration.V7")) {
propertiesComponent.setValue("PyCharm.InitialConfiguration.V7", true);
Registry.get("dumb.aware.run.configurations").setValue(true);
}
if (!propertiesComponent.isValueSet(DISPLAYED_PROPERTY)) {