Opened 14 years ago
Closed 13 years ago
#376 closed task (fixed)
Enable and complete testing of parser cache, add to user options menu
| Reported by: | David Aspinall | Owned by: | David Aspinall |
|---|---|---|---|
| Priority: | major | Milestone: | PG-Emacs-4.1 |
| Component: | 2:pg-emacs | Keywords: | |
| Cc: |
Description
PG has a cache available to reduce the amount of parsing that takes place in the buffer. It hasn't been comprehensively tested yet so is disabled by default. Enable it with (setq proof-use-parser-cache t).
Change History (2)
comment:1 Changed 14 years ago by
| Status: | new → accepted |
|---|
comment:2 Changed 13 years ago by
| Resolution: | → fixed |
|---|---|
| Status: | accepted → closed |
Note: See
TracTickets for help on using
tickets.
This is set to t by default in current CVS now, and will be for PG 4.1 unless problems are found.