scala-ide/scala-ide — pull request #155 by dragos (2012-07-22 12:08:07+00:00)
Title: Fixed defaults:

* CMD-Shift-S T was conflicting with `Save all`. Now it's CMD-Shift-W T (Show Type)
* lighter shade of grey for implicit highlighting
* Renamed 'Active' to 'Enabled' on the preference page.

Fixed #1001023.