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 David Aspinall)

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 David Aspinall

Description: modified (diff)
Milestone: PG-Eclipse-1.0.7PG-Eclipse-1.1.0
Owner: changed from David Aspinall to Graham Dutton
Type: defectenhancement

comment:2 Changed 11 years ago by David Aspinall

Milestone: PG-Eclipse-1.1.0

Milestone PG-Eclipse-1.1.0 deleted

Note: See TracTickets for help on using tickets.