search

ikuraj / alloy4eclipse

Automatically exported from code.google.com/p/alloy4eclipse
0 stars 0 forks source link

Add formatting capabilities to text editor #1

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago 
It would be nice to have a basic "text format" option in the editor.
Most of the work is to indent properly the code.
I have no idea of the difficulty of that task.

Original issue reported on code.google.com by daniel.l...@gmail.com on 10 Feb 2007 at 4:27

GoogleCodeExporter commented 8 years ago 
okay,
we'll  make that in the fastest way
++++

Original comment by AntoineB...@gmail.com on 19 Feb 2007 at 9:27

GoogleCodeExporter commented 8 years ago 
That feature looks too difficult to implement.

It needs access to Alloy4 AST.

We might reconsider this for another student project.

Original comment by daniel.l...@gmail.com on 7 Apr 2007 at 3:51