In all Spoofax editors indenting the current selection with the tab key inserts tab characters even if Eclipse is configured to not insert tabs ever. In plain text and Java editors spaces are inserted. I would expect the Spoofax editor to insert spaces too in this case.

Submitted by Tobi Vollebregt on 6 December 2010 at 14:06

On 9 December 2010 at 13:53 Lennart Kats tagged ui

On 6 June 2011 at 16:45 Tobi Vollebregt commented:

I took a quick look just now; appears AutoEditStrategy.useSpacesInsteadOfTabs isn’t called at all when indenting a selection. So probably this is an issue in the IMP editor version we use, and not in Spoofax/IMP itself.

On 6 June 2011 at 17:03 Lennart Kats commented:

Looking at the code, it appears IMP simply sends an ‘insert a \t here’ command to the AutoEditStrategy for every line that’s indented.

On 18 October 2011 at 14:56 Lennart Kats tagged imp

Log in to post comments