| Index: editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/text/functions/FastDartPartitionScanner.java
|
| ===================================================================
|
| --- editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/text/functions/FastDartPartitionScanner.java (revision 2639)
|
| +++ editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/text/functions/FastDartPartitionScanner.java (working copy)
|
| @@ -298,9 +298,7 @@
|
| return ScannerState.STRING.token;
|
| } else if (currentChar == '\\') {
|
| advance();
|
| - if (scanner.peek(0) == stringState.quote) {
|
| - advance();
|
| - }
|
| + advance();
|
| } else if (!stringState.raw && currentChar == '$') {
|
| if (scanner.peek(1) == '{') {
|
| scannerState = ScannerState.BLOCK_INTERPOLATION_PREFIX;
|
| @@ -334,9 +332,7 @@
|
| }
|
| } else if (currentChar == '\\') {
|
| advance();
|
| - if (scanner.peek(0) == stringState.quote) {
|
| - advance();
|
| - }
|
| + advance();
|
| } else if (!stringState.raw && currentChar == '$') {
|
| if (scanner.peek(1) == '{') {
|
| scannerState = ScannerState.BLOCK_INTERPOLATION_PREFIX;
|
|
|