GitHub PushEvent at 2014-02-25 12:25:58
Repository: scala-ide
Actor: sschaef
Payload: {"shas":[["1ce0f82d0c9aedd3d7026a50829321a719736c05","1d6e1cf70ec6f9ab28d3ea4b27a49a77654d370e@antoras.de","Reorganize preference pages\n\nThe new layout contains only the pages Compiler, Debug, Editor and\nLogging. All other remaining pages are grouped under the Editor page.\n\nFurthermore, a new consistent name scheme for the preference page ids\nis applied. The scheme is as follows:\n\n    org.scalaide.ui.preferences.<rootlevel-page>.<sublevel-page>\n\nSyntaxColouringPreferencePage is renamed to SyntaxColoringPreferencePage","Simon Schaefer",true]],"size":1,"ref":"refs/heads/t-new-preference-pages","head":"1ce0f82d0c9aedd3d7026a50829321a719736c05"}