scala-ide/scala-search — pull request #53 by mads379 (2013-06-10 20:23:03+00:00)
Title: Search jobs can be canceled and show progress

The search jobs now show their progress by means of a
total percentage of the occurrences that have to be type-checked and
show which file is being type-checked right now.

Jobs can now also be stopped.

Fixes #1001737