org.symbian.tools.wrttools.previewer/src/org/symbian/tools/wrttools/previewer/preview/AbstractPreviewPage.java
equal
deleted
inserted
replaced
96 } |
96 } |
97 |
97 |
98 private boolean refreshScheduled = false; |
98 private boolean refreshScheduled = false; |
99 |
99 |
100 public synchronized void process(Collection<IFile> files) { |
100 public synchronized void process(Collection<IFile> files) { |
101 if (!refreshScheduled && needsRefresh(files)) { |
101 if (!isDisposed() && !refreshScheduled && needsRefresh(files)) { |
102 asyncExec(new Runnable() { |
102 asyncExec(new Runnable() { |
103 public void run() { |
103 public void run() { |
104 refreshBrowser(); |
104 refreshBrowser(); |
105 } |
105 } |
106 }); |
106 }); |