Indenting a selection inserts tabs instead of spaces
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.useSpacesInsteadOfTabsisn’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
\there’ command to the
AutoEditStrategyfor every line that’s indented.
On 18 October 2011 at 14:56 Lennart Kats tagged imp
Log in to post comments