diff options
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-useropts.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-useropts.el b/generic/proof-useropts.el index 6d4fde2a..1a141741 100644 --- a/generic/proof-useropts.el +++ b/generic/proof-useropts.el @@ -267,7 +267,7 @@ This is only useful for PG developers." :type 'boolean :group 'proof-user-options) -(defcustom proof-use-parser-cache nil +(defcustom proof-use-parser-cache t "*Non-nil to use a simple parsing cache. This can be helpful when editing and reprocessing large files. This variable exists to disable the cache in case of problems." |