Scala Editor uses incorrect shift widths

User picture
User picture
User picture
User picture
User picture