Feature Request: Convert Tabs to Spaces

[hwayne]

Most other tools and editors seem to expect tabs instead of spaces, so it would help a lot if there was an option to insert tabs as spaces. ie if you set the tab size to 4 and hit tab, it would insert 4 spaces instead.

[hwayne]

I've been wanting to get into core Alloy development, I think this might be a good starting issue for me.

[pkriens]

Should be not that hard though it will require you to dive into Swing :-(

[aleksandarmilicevic]

Alloy* already has such an option. The crux of the implementation is in OurSyntaxWidget.indentUnindentRegion()

[pkriens]

@aleksandarmilicevic if we already have this issue, can we not just close it?

[aleksandarmilicevic]

What I mentioned only exists in Alloy*.

I linked to because it might be helpful to the person implementing this for Alloy