Index: dart/editor/tools/plugins/com.google.dart.tools.debug.core/src/com/google/dart/tools/debug/core/DebugUIHelper.java |
=================================================================== |
--- dart/editor/tools/plugins/com.google.dart.tools.debug.core/src/com/google/dart/tools/debug/core/DebugUIHelper.java (revision 37301) |
+++ dart/editor/tools/plugins/com.google.dart.tools.debug.core/src/com/google/dart/tools/debug/core/DebugUIHelper.java (working copy) |
@@ -17,6 +17,7 @@ |
import com.google.dart.tools.core.DartCore; |
import com.google.dart.tools.debug.core.dartium.DartiumDebugTarget; |
+import org.eclipse.core.runtime.CoreException; |
import org.eclipse.core.runtime.IConfigurationElement; |
import org.eclipse.core.runtime.IExtensionPoint; |
import org.eclipse.core.runtime.IExtensionRegistry; |
@@ -113,6 +114,10 @@ |
public abstract void openBrowserTab(String url); |
+ public void showError(String title, CoreException e) { |
+ showError(title, e.getMessage()); |
+ } |
+ |
public abstract void showError(String title, String message); |
public abstract void showStatusLineMessage(String message); |