Block indent broken (uses tab chars)
Block indent / de-indent using TAB / shift-TAB inserts tab characters instead of two spaces.
Furthermore, de-indent does not "undo" indent: given "space space (cursor) x", hitting TAB will give "tab (cursor) x", while shift-TAB gives "(cursor x)".
Tried following settings from Scala / Formatter with no success (and similar settings in General / Editors / Text editors):
- Unchecked Indent using tabs
- Spaces to indent = 2
Workaround is to run the formatter.
Furthermore, de-indent does not "undo" indent: given "space space (cursor) x", hitting TAB will give "tab (cursor) x", while shift-TAB gives "(cursor x)".
Tried following settings from Scala / Formatter with no success (and similar settings in General / Editors / Text editors):
- Unchecked Indent using tabs
- Spaces to indent = 2
Workaround is to run the formatter.
Leave a comment
on 2014-03-18 12:45 *
By Simon Schäfer
Assigned to set to Simon Schäfer
Status changed from New to Fixed
Scala editor now considers Scala preference about indentation with tabs
Fixes #1002037, #1001727, #1002017, #1000304
Branch: master
Commit: scala-ide:e616984720
Fixes #1002037, #1001727, #1002017, #1000304
Branch: master
Commit: scala-ide:e616984720