diff -r 9a6ce5faed7a -r f23f3d2b7516 Preferences/__init__.py
--- a/Preferences/__init__.py Tue Oct 03 16:21:33 2017 +0200
+++ b/Preferences/__init__.py Tue Oct 03 19:37:44 2017 +0200
@@ -420,6 +420,7 @@
# timeout in ms before auto-completion is started
"AutoCompletionFillups": False,
"AutoCompletionReversedList": False,
+ "AutoCompletionCacheSize": 100,
"CallTipsEnabled": False,
"CallTipsVisible": 0,
@@ -2065,12 +2066,12 @@
"FoldingStyle", "WarnFilesize", "EdgeMode", "EdgeColumn",
"CaretWidth", "AutoCompletionSource",
"AutoCompletionThreshold", "AutoCompletionTimeout",
- "CallTipsVisible", "CallTipsStyle", "MarkOccurrencesTimeout",
- "AutoSpellCheckChunkSize", "SpellCheckingMinWordSize",
- "PostScriptLevel", "EOLMode", "ZoomFactor", "WhitespaceSize",
- "OnlineSyntaxCheckInterval", "OnlineChangeTraceInterval",
- "WrapLongLinesMode", "WrapVisualFlag", "CallTipsPosition",
- "VirtualSpaceOptions"]:
+ "AutoCompletionCacheSize", "CallTipsVisible", "CallTipsStyle",
+ "MarkOccurrencesTimeout", "AutoSpellCheckChunkSize",
+ "SpellCheckingMinWordSize", "PostScriptLevel", "EOLMode",
+ "ZoomFactor", "WhitespaceSize", "OnlineSyntaxCheckInterval",
+ "OnlineChangeTraceInterval", "WrapLongLinesMode",
+ "WrapVisualFlag", "CallTipsPosition", "VirtualSpaceOptions"]:
return int(prefClass.settings.value(
"Editor/" + key, prefClass.editorDefaults[key]))
elif key in ["AdditionalOpenFilters", "AdditionalSaveFilters",
