Index: editor/tools/plugins/com.google.dart.tools.debug.ui/src/com/google/dart/tools/debug/ui/internal/util/LaunchUtils.java |
=================================================================== |
--- editor/tools/plugins/com.google.dart.tools.debug.ui/src/com/google/dart/tools/debug/ui/internal/util/LaunchUtils.java (revision 15120) |
+++ editor/tools/plugins/com.google.dart.tools.debug.ui/src/com/google/dart/tools/debug/ui/internal/util/LaunchUtils.java (working copy) |
@@ -345,6 +345,19 @@ |
return null; |
} |
+ /** |
+ * @return a user-consumable long name for the launch config, like "foo.html from foo" |
+ */ |
+ public static String getLongLaunchName(ILaunchConfiguration config) { |
+ DartLaunchConfigWrapper wrapper = new DartLaunchConfigWrapper(config); |
+ |
+ if (wrapper.getProject() != null) { |
+ return config.getName() + " from " + wrapper.getProject().getName(); |
+ } else { |
+ return config.getName(); |
+ } |
+ } |
+ |
public static IResource getSelectedResource(IWorkbenchWindow window) { |
IWorkbenchPage page = window.getActivePage(); |