Opened 17 years ago
Last modified 11 years ago
#104 new defect
Add preference listener to ProofScriptDocument
Reported by: | David Aspinall | Owned by: | David Aspinall |
---|---|---|---|
Priority: | minor | Milestone: | |
Component: | 1:pg-eclipse | Keywords: | |
Cc: |
Description
This can usefully monitor several kinds of preference changes, e.g. symbol usage, folding, etc.
Note: See
TracTickets for help on using
tickets.
Milestone PG-Eclipse-1.1.0 deleted