| Index: src/d8.js
|
| ===================================================================
|
| --- src/d8.js (revision 996)
|
| +++ src/d8.js (working copy)
|
| @@ -179,9 +179,9 @@
|
| return;
|
| }
|
|
|
| - // Create an underline with a caret pointing to the source position. If the
|
| - // source contains a tab character the underline will have a tab character in
|
| - // the same place otherwise the underline will have a space character.
|
| + // Create an underline with a caret pointing to the source position. If the
|
| + // source contains a tab character the underline will have a tab character in
|
| + // the same place otherwise the underline will have a space character.
|
| var underline = '';
|
| for (var i = 0; i < position; i++) {
|
| if (source_text[i] == '\t') {
|
| @@ -197,7 +197,7 @@
|
| };
|
|
|
|
|
| -function FrameSourceUnderline(frame) {
|
| +function FrameSourceUnderline(frame) {
|
| var location = frame.sourceLocation();
|
| if (location) {
|
| return SourceUnderline(location.sourceText(),
|
|
|