Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--org.eclipse.tips.ide/src/org/eclipse/tips/ide/internal/TipSourceProvider.java1
1 files changed, 1 insertions, 0 deletions
diff --git a/org.eclipse.tips.ide/src/org/eclipse/tips/ide/internal/TipSourceProvider.java b/org.eclipse.tips.ide/src/org/eclipse/tips/ide/internal/TipSourceProvider.java
index 6eb9c5af7..83b63b78a 100644
--- a/org.eclipse.tips.ide/src/org/eclipse/tips/ide/internal/TipSourceProvider.java
+++ b/org.eclipse.tips.ide/src/org/eclipse/tips/ide/internal/TipSourceProvider.java
@@ -113,6 +113,7 @@ public class TipSourceProvider extends AbstractSourceProvider {
}
});
+ job.setSystem(true);
job.schedule(5000); // allow the workbench to settle in.
}
} \ No newline at end of file

Back to the top