After a template was succesfully expanded and the user filled in a placeholder incorrectly (i.e. containing a syntactic error),
the placeholder marks get ‘messed up’, spanning whitespace and such.

I recon this is probably eclipse’s fault, but as I’m not sure about that, I thought I’d report it anyway.

Submitted by Arjen on 8 October 2013 at 11:36

On 8 October 2013 at 16:10 Gabriël Konat tagged completion

On 8 October 2013 at 16:10 Gabriël Konat tagged lab

Log in to post comments