Index: editor/tools/plugins/com.google.dart.tools.debug.core/src/com/google/dart/tools/debug/core/breakpoints/DartBreakpoint.java |
diff --git a/editor/tools/plugins/com.google.dart.tools.debug.core/src/com/google/dart/tools/debug/core/breakpoints/DartBreakpoint.java b/editor/tools/plugins/com.google.dart.tools.debug.core/src/com/google/dart/tools/debug/core/breakpoints/DartBreakpoint.java |
index f25121a8a8eadf6e013603649f5154a5c12ceaee..f508e666d618846de11ea6542e54c03d860c8753 100644 |
--- a/editor/tools/plugins/com.google.dart.tools.debug.core/src/com/google/dart/tools/debug/core/breakpoints/DartBreakpoint.java |
+++ b/editor/tools/plugins/com.google.dart.tools.debug.core/src/com/google/dart/tools/debug/core/breakpoints/DartBreakpoint.java |
@@ -144,6 +144,14 @@ public class DartBreakpoint extends LineBreakpoint { |
} |
} |
+ public String getActualFilePath() { |
+ IFile file = getFile(); |
+ if (file != null) { |
+ return file.getLocation().toOSString(); |
+ } |
+ return getFilePath(); |
+ } |
+ |
public int getLine() { |
IMarker marker = getMarker(); |