scala-ide/scala-ide — pull request #851 by sschaef (2014-11-03 22:52:03+00:00)
Title: Consider project specific formatting settings for auto format

A fall back to the workspace wide formatting settings happens if the
project settings couldn't be accessed.

Fixes #1002331