| commit | 3b36cf5bb7be30bde5528ecb9b2df7bf0666fee8 | [log] [tgz] |
|---|---|---|
| author | Tod Creasey <tod> | Tue Jun 22 15:32:24 2004 +0000 |
| committer | Tod Creasey <tod> | Tue Jun 22 15:32:24 2004 +0000 |
| tree | 89bd2d285ab5de5c4c4212bb0038dbdaba649f76 | |
| parent | 59a84de19af57497d60ea4d16a5bb50f9bba9786 [diff] |
Workaround for 63635
diff --git a/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/decorators/DecorationScheduler.java b/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/decorators/DecorationScheduler.java index 9948970..b410e72 100644 --- a/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/decorators/DecorationScheduler.java +++ b/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/decorators/DecorationScheduler.java
@@ -128,6 +128,8 @@ awaitingDecoration.add(element); if (shutdown) return; + if(decorationJob.getState() == Job.SLEEPING) + decorationJob.wakeUp(); decorationJob.schedule(); }