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

Add descriptions for registry keys

Browse Source
This commit is contained in:
Dmitry Trofimov
2017-10-09 23:04:40 +02:00
parent b15e4a3f35
commit 45e2f4dbc2
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/util/resources/misc/registry.properties
+2
View File
@@ -581,8 +581,10 @@ python.django.commandsToSkip=
python.django.commandsToUseNativeRunner=
python.prebuilt.skeletons.minor.version.aware=false
python.prebuilt.skeletons.minor.version.aware.description=When disabled stripes minor version to look for prebuilt skeletons
python.activate.virtualenv.on.run=true
python.activate.virtualenv.on.run.description=When enabled activates virtualenv before script execution and passes environment to the process
show.method.base.class.in.java.file.structure=true