diff options
Diffstat (limited to 'language-web/src/main/js/xtext')
-rw-r--r-- | language-web/src/main/js/xtext/xtext-codemirror.js | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/language-web/src/main/js/xtext/xtext-codemirror.js b/language-web/src/main/js/xtext/xtext-codemirror.js index 4d50718c..d246172a 100644 --- a/language-web/src/main/js/xtext/xtext-codemirror.js +++ b/language-web/src/main/js/xtext/xtext-codemirror.js | |||
@@ -279,6 +279,7 @@ define([ | |||
279 | } | 279 | } |
280 | }; | 280 | }; |
281 | }), | 281 | }), |
282 | from: cursor, | ||
282 | to: cursor | 283 | to: cursor |
283 | }; | 284 | }; |
284 | }}); | 285 | }}); |
@@ -329,10 +330,10 @@ define([ | |||
329 | 330 | ||
330 | CodeMirrorServiceBuilder.prototype._clearAnnotations = function(annotations) { | 331 | CodeMirrorServiceBuilder.prototype._clearAnnotations = function(annotations) { |
331 | var editor = this.editor; | 332 | var editor = this.editor; |
333 | editor.clearGutter('annotations-gutter'); | ||
332 | for (var i = 0; i < annotations.length; i++) { | 334 | for (var i = 0; i < annotations.length; i++) { |
333 | var annotation = annotations[i]; | 335 | var annotation = annotations[i]; |
334 | if (annotation) { | 336 | if (annotation) { |
335 | editor.setGutterMarker(i, 'annotations-gutter', null); | ||
336 | annotations[i] = undefined; | 337 | annotations[i] = undefined; |
337 | } | 338 | } |
338 | } | 339 | } |