Index: src/mirror-delay.js |
=================================================================== |
--- src/mirror-delay.js (revision 2226) |
+++ src/mirror-delay.js (working copy) |
@@ -2232,6 +2232,15 @@ |
if (!IS_UNDEFINED(source_line_text)) { |
content.sourceLineText = source_line_text; |
} |
+ |
+ content.scopes = []; |
+ for (var i = 0; i < mirror.scopeCount(); i++) { |
+ var scope = mirror.scope(i); |
+ content.scopes.push({ |
+ type: scope.scopeType(), |
+ index: i |
+ }); |
+ } |
} |