scala-ide/scala-ide — pull request #681 by huitseeker (2014-04-29 17:39:03+00:00)
Title: Fixes default for project specific compiler settings

This is a re-issue & re-factor of https://github.com/scala-ide/scala-ide/pull/674

Don't reset to default values when disabling project specific compiler settings.
Adds support for boolean settings with default values in the compiler settings hierarchy.

Fixes #1002083