#1002037
  • Created on
    2014-02-05 07:53
  • Reported by
    Simon Schäfer
  • Status
    Fixed
  • Priority
    Normal (3)
  • Assigned to
    Simon Schäfer
  • Milestone
    -
  • Plan Level
    Story
  • Permission type
    Public
  • Due Date
    -

Attachments

Scala editor doesn't honor Scala preference about indentation with tabs

In the formatter preference page, there is the option "Indent using tabs".

At the moment it doesn't have any effect - the Scala editor choses the preference defined in JDT.
User picture
  on 2014-02-05 08:02 *
By Simon Schäfer
This is not easy to fix. The behavior is hardcoded in JavaIndenter.createReusingIndent (line 661), which is later used by IndentAction. It is not easily possible to subclass these classes in order to change the behavior, nor to get access to the code that return the values for preferences (not considering AspectJ here). To get rid of this I fear we have to fully replace the indentation logic inherited from JDT.
User picture
  on 2014-02-05 08:08 *
By Simon Schäfer
Summary changed from Scala editor doesn't honor Scala preferences about indentation with tabs to Scala editor doesn't honor Scala preference about indentation with tabs
User picture
  on 2014-03-18 11: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