Feature request: automatic indentation

[rix0rrr]

Hi,

I was hoping to have the Alloy editor have automatic indentation, like most code editors.

This means that if you are indented to a certain level (say, 4 spaces), when you press [Enter] to go to a new line, your cursor would remain at column 4 instead of being sent back to column 0, and you having to type 4 spaces to get back to the same indentation level.

I'd be happy to try and contribute this change, if there'd be interest in accepting it.