# HG changeset patch # User Eugene Ostroukhov # Date 1266272705 28800 # Node ID 65c80c40a76a781f3ff38ee507e1e2304adb230b # Parent 19985c154f5c1aeee495f2ee1858d38beb97a797 Minor bug with browser refresh after the workbench was stopped was cleared diff -r 19985c154f5c -r 65c80c40a76a org.symbian.tools.wrttools.previewer/src/org/symbian/tools/wrttools/previewer/preview/AbstractPreviewPage.java --- a/org.symbian.tools.wrttools.previewer/src/org/symbian/tools/wrttools/previewer/preview/AbstractPreviewPage.java Mon Feb 15 13:46:26 2010 -0800 +++ b/org.symbian.tools.wrttools.previewer/src/org/symbian/tools/wrttools/previewer/preview/AbstractPreviewPage.java Mon Feb 15 14:25:05 2010 -0800 @@ -114,18 +114,19 @@ protected synchronized void refresh(boolean manual) { try { - final Control focusControl = browser.getDisplay().getFocusControl(); - browser.refresh(); - refreshAction.setImageDescriptor(PreviewerPlugin - .getImageDescriptor(Images.GREEN_SYNC)); - if (!manual && focusControl != null) { - asyncExec(new Runnable() { - public void run() { - focusControl.setFocus(); - } - }); + if (!browser.isDisposed()) { + final Control focusControl = browser.getDisplay().getFocusControl(); + browser.refresh(); + refreshAction.setImageDescriptor(PreviewerPlugin.getImageDescriptor(Images.GREEN_SYNC)); + if (!manual && focusControl != null) { + asyncExec(new Runnable() { + public void run() { + focusControl.setFocus(); + } + }); + } + refreshAction.setToolTipText("Refresh the preview browser"); } - refreshAction.setToolTipText("Refresh the preview browser"); needsRefresh = false; } finally { refreshScheduled = false;