scala-ide/scala-ide — pull request #325 by dotta (2013-02-21 14:01:52+00:00)
Title: Clean projects in a background job when project settings' change

Cleaning the projects in the UI Thread was causing UI freeze. The
fix is really simple: clean the projects in a background job.

Note: The implemented solution is inspired by the Eclipse
``CleanDialog`` component.

Fixes #1001527
(cherry picked from commit aec8edd4136ff82d9a81860b4f7002f5f4e4f6c4)