#1001737
- Created on2013-05-23 08:13
- Reported by
- StatusFixed
- PriorityNormal (3)
- Assigned to
- Milestone
- Plan Level-
- Due Date-
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