#6 closed enhancement (fixed)
Add code folding for proof scripts
Reported by: | anonymous | Owned by: | David Aspinall |
---|---|---|---|
Priority: | major | Milestone: | |
Component: | 1:pg-eclipse | Keywords: | |
Cc: |
Description
Add code folding for proof scripts. Hua Yang had some experimental code which hard-coded Isabelle syntax; this should be revisited and revised to use the document parse instead.
Change History (3)
comment:1 Changed 17 years ago by
Priority: | minor → major |
---|
comment:2 Changed 17 years ago by
Resolution: | → fixed |
---|---|
Status: | new → closed |
Note: See
TracTickets for help on using
tickets.
Good basic support for code folding has now been added. It is enabled by turning on the preference in the Miscellaneous panel. It is labelled as experimental because the implementation is inefficient at present. Desirable improvements:
Closing for now as fixed, will unfold again later...