Permalink
Browse files

hoogle data doesn't stop the world

  • Loading branch information...
1 parent 0894b28 commit 7d15eda9223cedd565f2483d11a48253b7c1ab70 @JPMoresmau committed Dec 18, 2012
@@ -483,7 +483,8 @@ public void run() {
public void run() {
Job builder = new HoogleDownloadDataJob(
UITexts.hoogle_downloadingData );
- builder.setRule( ResourcesPlugin.getWorkspace().getRoot() );
+ // no need to stop all other operations
+ //builder.setRule( ResourcesPlugin.getWorkspace().getRoot() );
builder.setPriority( Job.DECORATE );
builder.schedule();
}

0 comments on commit 7d15eda

Please sign in to comment.