Description Mirko Raner 2011-04-25 15:56:27 EDT

Some of our users have large workspaces with 10000+ Xtext resources in them, and the process of initially parsing all resources can take quite a while. Despite being run in the background, this process will hold up other jobs, like, for example, a checkout from source control. When the user clicks the red button on the job, it says "Cancel requested" but the job isn't actually canceled, and other jobs in the queue still do not get executed. The "Updating projects" job should honor the cancel button and cancel as well as remove the job when the button is pressed.