[BLUEJ-133] Cursor position niceties and auto-indent behaviour
When the closing brace '}' is typed, it is automatically de-indented. However, pressing up afterwards positions the cursor badly \- it should be placed on the line above (as it is) with the horizontal position as it was before the '}' was typed (as it is not).
Issue metadata
- Issue type: Bug
- Priority: Lowest
- Fix versions: 2.5.1