search

ikuraj / alloy4eclipse

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

Provide occurrence highlightning as in JDT #58

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago 
It would be nice to see all the occurrences of a given identifier in a
file, as provided in JDT since 3.0 I guess.

I have no idea if that feature can be easily implemented or not.

I mark it for M4 for the moment.

Original issue reported on code.google.com by daniel.l...@gmail.com on 19 Apr 2008 at 10:01

GoogleCodeExporter commented 8 years ago 
That feature might be provided in the future by Xtext. closing.

Original comment by daniel.l...@gmail.com on 18 May 2011 at 7:56