Opened 17 years ago
Last modified 11 years ago
#87 new enhancement
Add support for indentation in proof script editor
Reported by: | David Aspinall | Owned by: | Graham Dutton |
---|---|---|---|
Priority: | major | Milestone: | |
Component: | 1:pg-eclipse | Keywords: | |
Cc: |
Description (last modified by )
Indentation can be controlled by either or both of:
- openblock/closeblock markup (see #44)
- lexicalstructure elements (e.g., comments, keywords; perhaps as a fall back for unparsed text)
At the moment the text editor has no support for source code formatting at all.
Change History (2)
comment:1 Changed 17 years ago by
Description: | modified (diff) |
---|---|
Milestone: | PG-Eclipse-1.0.7 → PG-Eclipse-1.1.0 |
Owner: | changed from David Aspinall to Graham Dutton |
Type: | defect → enhancement |
comment:2 Changed 11 years ago by
Milestone: | PG-Eclipse-1.1.0 |
---|
Note: See
TracTickets for help on using
tickets.
Milestone PG-Eclipse-1.1.0 deleted