scala-ide/scala-ide — pull request #584 by sschaef (2013-11-16 00:41:17+00:00)
Title: Enable editor preferences

Rename `DebugPreferenceInitializer` to `EditorPreferenceInitializer`

Fixes #1001965