Add occurrence highlighting
Highlight other occurrences of the same identifier
Submitted by Lennart Kats on 16 February 2010 at 15:57
Issue Log
On 8 January 2013 at 16:03 Eelco Visser removed tag @lennartkats
On 8 January 2013 at 16:03 Eelco Visser tagged nabl
Log in to post comments