search

ikuraj / alloy4eclipse

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

Allow code folding in Alloy editor #21

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago 
One very nice feature of JDT is the hability to "fold" the code inside a
method or comments, etc.

The background to do this is available at:
http://www.eclipse.org/articles/Article-Folding-in-Eclipse-Text-Editors/folding.
html

It should not be that difficult to add to A4E.

Original issue reported on code.google.com by daniel.l...@gmail.com on 3 Nov 2007 at 9:55

GoogleCodeExporter commented 8 years ago 
A first trial of code folding is available in release 0.2.5.
There is currently a problem with the location reported by A4 compiler.
Once it will be fixed, code folding should work properly.

Original comment by daniel.l...@gmail.com on 5 Nov 2007 at 9:38

GoogleCodeExporter commented 8 years ago 
Code folding works great in release 0.2.16.

Original comment by daniel.l...@gmail.com on 15 Dec 2007 at 1:14