Searched refs:scopeIndex (Results 1 – 2 of 2) sorted by relevance
1669 ScopeMirror.prototype.scopeIndex = function() { method in ScopeMirror2248 content.index = mirror.scopeIndex();
158 request_json += scope.scopeIndex();