scala-ide/scala-ide — pull request #242 by dragos (2012-12-04 16:51:12+00:00)
Title: Correctly update project settings when the preferences change.

The `PropertyStore` class is a snapshot, and during the move to sbt 0.13 the storage
became a lazy-val, meaning we started to lose project settings.

Fixed #1001241
Fixed #1001267