org.symbian.tools.wrttools.previewer/src/org/symbian/tools/wrttools/previewer/preview/AbstractPreviewPage.java
equal
deleted
inserted
replaced
112 return false; |
112 return false; |
113 } |
113 } |
114 |
114 |
115 protected synchronized void refresh(boolean manual) { |
115 protected synchronized void refresh(boolean manual) { |
116 try { |
116 try { |
117 final Control focusControl = browser.getDisplay().getFocusControl(); |
117 if (!browser.isDisposed()) { |
118 browser.refresh(); |
118 final Control focusControl = browser.getDisplay().getFocusControl(); |
119 refreshAction.setImageDescriptor(PreviewerPlugin |
119 browser.refresh(); |
120 .getImageDescriptor(Images.GREEN_SYNC)); |
120 refreshAction.setImageDescriptor(PreviewerPlugin.getImageDescriptor(Images.GREEN_SYNC)); |
121 if (!manual && focusControl != null) { |
121 if (!manual && focusControl != null) { |
122 asyncExec(new Runnable() { |
122 asyncExec(new Runnable() { |
123 public void run() { |
123 public void run() { |
124 focusControl.setFocus(); |
124 focusControl.setFocus(); |
125 } |
125 } |
126 }); |
126 }); |
|
127 } |
|
128 refreshAction.setToolTipText("Refresh the preview browser"); |
127 } |
129 } |
128 refreshAction.setToolTipText("Refresh the preview browser"); |
|
129 needsRefresh = false; |
130 needsRefresh = false; |
130 } finally { |
131 } finally { |
131 refreshScheduled = false; |
132 refreshScheduled = false; |
132 } |
133 } |
133 } |
134 } |