Index: editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/text/dart/DartAutoIndentStrategy.java |
diff --git a/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/text/dart/DartAutoIndentStrategy.java b/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/text/dart/DartAutoIndentStrategy.java |
index e80879ab31f51222551132754cdb4cc18d750f00..ea44d2cae8719dff0c598c17d8469a7458892f97 100644 |
--- a/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/text/dart/DartAutoIndentStrategy.java |
+++ b/editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/text/dart/DartAutoIndentStrategy.java |
@@ -412,9 +412,9 @@ public class DartAutoIndentStrategy extends DefaultIndentLineAutoEditStrategy { |
} |
DartScanner.Location location = scanner.getTokenLocation(); |
- int tokenOffset = location.getBegin().getPos(); |
- int tokenLength = location.getEnd().getPos() + 1 - tokenOffset; // inclusive |
- // end |
+ int tokenOffset = location.getBegin(); |
+ int tokenLength = location.getEnd() + 1 - tokenOffset; // inclusive |
+ // end |
return new Region(tokenOffset + scanRegion.getOffset(), tokenLength); |
} catch (BadLocationException x) { |