Show progress on searches
Show progress on searches and make it possible to cancel them.
Leave a comment
(In scala-ide:bf7762379fff964149a37ca38f87b456c0def27b) 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
Branch: master
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
Branch: master