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

PyFile exported name caching rewrite

Browse Source
This commit is contained in:
Dmitry Jemerov
2012-03-21 16:30:28 +01:00
parent 7f4f8ff29f
commit 505f8439cd
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-resources-en/src/misc/registry.properties
+3 -1
View File
@@ -200,4 +200,6 @@ editor.dumb.mode.available=true
enable.animation.on.dialogs=false
vcs.remote.management.ready=false
type.ahead.logging.enabled=false
fast.tree.expand.in.structure.view=false
fast.tree.expand.in.structure.view=false
python.exported.names.local.cache=false