| Index: src/mirror-delay.js
|
| ===================================================================
|
| --- src/mirror-delay.js (revision 1464)
|
| +++ src/mirror-delay.js (working copy)
|
| @@ -1359,7 +1359,8 @@
|
|
|
| FrameMirror.prototype.sourceLocation = function() {
|
| if (this.func().resolved() && this.func().script()) {
|
| - return this.func().script().locationFromPosition(this.sourcePosition());
|
| + return this.func().script().locationFromPosition(this.sourcePosition(),
|
| + true);
|
| }
|
| };
|
|
|
| @@ -1561,6 +1562,11 @@
|
| };
|
|
|
|
|
| +ScriptMirror.prototype.id = function() {
|
| + return this.script_.id;
|
| +};
|
| +
|
| +
|
| ScriptMirror.prototype.source = function() {
|
| return this.script_.source;
|
| };
|
|
|