Index: editor/tools/plugins/com.google.dart.tools.debug.ui/src/com/google/dart/tools/debug/ui/internal/view/DebuggerViewManager.java |
=================================================================== |
--- editor/tools/plugins/com.google.dart.tools.debug.ui/src/com/google/dart/tools/debug/ui/internal/view/DebuggerViewManager.java (revision 41204) |
+++ editor/tools/plugins/com.google.dart.tools.debug.ui/src/com/google/dart/tools/debug/ui/internal/view/DebuggerViewManager.java (working copy) |
@@ -98,6 +98,19 @@ |
} |
} |
+ /** |
+ * Check if the debugger view has been contributed |
+ */ |
+ public boolean hasDebuggerView() { |
+ IViewDescriptor[] views = DartDebugUIPlugin.getDefault().getWorkbench().getViewRegistry().getViews(); |
+ for (IViewDescriptor view : views) { |
+ if (view.getId().equals(DebuggerView.ID)) { |
+ return true; |
+ } |
+ } |
+ return false; |
+ } |
+ |
@Override |
public void launchAdded(ILaunch launch) { |
try { |
@@ -139,6 +152,28 @@ |
} |
} |
+ public void openDebuggerView() { |
+ try { |
+ IWorkbenchWindow window = DartDebugUIPlugin.getDefault().getWorkbench().getActiveWorkbenchWindow(); |
+ |
+ if (window == null) { |
+ IWorkbenchWindow[] windows = PlatformUI.getWorkbench().getWorkbenchWindows(); |
+ |
+ if (windows.length > 0) { |
+ IWorkbenchPage[] pages = windows[0].getPages(); |
+ |
+ if (pages.length > 0) { |
+ pages[0].showView(DebuggerView.ID, null, IWorkbenchPage.VIEW_ACTIVATE); |
+ } |
+ } |
+ } else { |
+ DartToolsPlugin.showView(DebuggerView.ID); |
+ } |
+ } catch (PartInitException e) { |
+ DartUtil.logError(e); |
+ } |
+ } |
+ |
@Override |
public void suspended(ILaunch launch, Object context) { |
Display.getDefault().asyncExec(new Runnable() { |
@@ -223,40 +258,4 @@ |
return null; |
} |
- |
- /** |
- * Check if the debugger view has been contributed |
- */ |
- private boolean hasDebuggerView() { |
- IViewDescriptor[] views = DartDebugUIPlugin.getDefault().getWorkbench().getViewRegistry().getViews(); |
- for (IViewDescriptor view : views) { |
- if (view.getId().equals(DebuggerView.ID)) { |
- return true; |
- } |
- } |
- return false; |
- } |
- |
- private void openDebuggerView() { |
- try { |
- IWorkbenchWindow window = DartDebugUIPlugin.getDefault().getWorkbench().getActiveWorkbenchWindow(); |
- |
- if (window == null) { |
- IWorkbenchWindow[] windows = PlatformUI.getWorkbench().getWorkbenchWindows(); |
- |
- if (windows.length > 0) { |
- IWorkbenchPage[] pages = windows[0].getPages(); |
- |
- if (pages.length > 0) { |
- pages[0].showView(DebuggerView.ID, null, IWorkbenchPage.VIEW_ACTIVATE); |
- } |
- } |
- } else { |
- DartToolsPlugin.showView(DebuggerView.ID); |
- } |
- } catch (PartInitException e) { |
- DartUtil.logError(e); |
- } |
- } |
- |
} |