Index: src/mirror-delay.js |
=================================================================== |
--- src/mirror-delay.js (revision 1480) |
+++ src/mirror-delay.js (working copy) |
@@ -1592,8 +1592,9 @@ |
}; |
-ScriptMirror.prototype.locationFromPosition = function(position) { |
- return this.script_.locationFromPosition(position); |
+ScriptMirror.prototype.locationFromPosition = function( |
+ position, include_resource_offset) { |
+ return this.script_.locationFromPosition(position, include_resource_offset); |
} |