| 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);
|
|
|