|
Lines 21-27
Link Here
|
| 21 |
import org.eclipse.core.runtime.jobs.*; |
21 |
import org.eclipse.core.runtime.jobs.*; |
| 22 |
import org.eclipse.rwt.RWT; |
22 |
import org.eclipse.rwt.RWT; |
| 23 |
import org.eclipse.rwt.internal.lifecycle.LifeCycleUtil; |
23 |
import org.eclipse.rwt.internal.lifecycle.LifeCycleUtil; |
| 24 |
import org.eclipse.rwt.internal.lifecycle.RWTLifeCycle; |
|
|
| 25 |
import org.eclipse.rwt.internal.lifecycle.UICallBackServiceHandler; |
24 |
import org.eclipse.rwt.internal.lifecycle.UICallBackServiceHandler; |
| 26 |
import org.eclipse.rwt.internal.service.ContextProvider; |
25 |
import org.eclipse.rwt.internal.service.ContextProvider; |
| 27 |
import org.eclipse.rwt.lifecycle.UICallBack; |
26 |
import org.eclipse.rwt.lifecycle.UICallBack; |
|
Lines 117-131
Link Here
|
| 117 |
try { |
116 |
try { |
| 118 |
manager[ 0 ] = findProgressManager( event.getJob() ); |
117 |
manager[ 0 ] = findProgressManager( event.getJob() ); |
| 119 |
display = ( Display )jobs.get( event.getJob() ); |
118 |
display = ( Display )jobs.get( event.getJob() ); |
| 120 |
if( display != null && !display.isDisposed() ) { |
|
|
| 121 |
display.asyncExec( new Runnable() { |
| 122 |
public void run() { |
| 123 |
Job job = event.getJob(); |
| 124 |
String id = String.valueOf( job.hashCode() ); |
| 125 |
UICallBackServiceHandler.deactivateUICallBacksFor( id ); |
| 126 |
} |
| 127 |
} ); |
| 128 |
} |
| 129 |
} finally { |
119 |
} finally { |
| 130 |
jobs.remove( event.getJob() ); |
120 |
jobs.remove( event.getJob() ); |
| 131 |
} |
121 |
} |
|
Lines 133-138
Link Here
|
| 133 |
if( display != null && !display.isDisposed() ) { |
123 |
if( display != null && !display.isDisposed() ) { |
| 134 |
display.asyncExec( new Runnable() { |
124 |
display.asyncExec( new Runnable() { |
| 135 |
public void run() { |
125 |
public void run() { |
|
|
126 |
String id = String.valueOf( event.getJob().hashCode() ); |
| 127 |
UICallBackServiceHandler.deactivateUICallBacksFor( id ); |
| 136 |
manager[ 0 ].changeListener.done( event ); |
128 |
manager[ 0 ].changeListener.done( event ); |
| 137 |
} |
129 |
} |
| 138 |
} ); |
130 |
} ); |