diff options
-rw-r--r-- | org.eclipse.tips.ide/src/org/eclipse/tips/ide/internal/TipSourceProvider.java | 1 |
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 |