scala-ide/scala-ide — pull request #647 by sschaef (2014-02-25 12:26:24+00:00)
Title: Reorganize preference pages

The new layout contains only the pages Compiler, Debug, Editor and
Logging. All other remaining pages are grouped under the Editor page.

Furthermore, a new consistent name scheme for the preference page ids
is applied. The scheme is as follows:

org.scalaide.ui.preferences..

SyntaxColouringPreferencePage is renamed to SyntaxColoringPreferencePage