1 files changed, 0 insertions, 111 deletions

diff --git a/language-web/src/main/js/xtext/CodeMirrorEditorContext.js b/language-web/src/main/js/xtext/CodeMirrorEditorContext.js
deleted file mode 100644
index b829c680..00000000
--- a/language-web/src/main/js/xtext/CodeMirrorEditorContext.js
+++ /dev/null
@@ -1,111 +0,0 @@
-/*******************************************************************************
- * Copyright (c) 2015 itemis AG (http://www.itemis.eu) and others.
- * This program and the accompanying materials are made available under the
- * terms of the Eclipse Public License 2.0 which is available at
- * http://www.eclipse.org/legal/epl-2.0.
- *
- * SPDX-License-Identifier: EPL-2.0
- *******************************************************************************/
-
-define([], function() {
-        
-        /**
-         * An editor context mediates between the Xtext services and the CodeMirror editor framework.
-         */
-        function CodeMirrorEditorContext(editor) {
-                this._editor = editor;
-                this._serverState = {};
-                this._serverStateListeners = [];
-                this._dirty = false;
-                this._dirtyStateListeners = [];
-        };
-
-        CodeMirrorEditorContext.prototype = {
-                
-                getServerState: function() {
-                        return this._serverState;
-                },
-                
-                updateServerState: function(currentText, currentStateId) {
-                        this._serverState.text = currentText;
-                        this._serverState.stateId = currentStateId;
-                        return this._serverStateListeners;
-                },
-                
-                addServerStateListener: function(listener) {
-                        this._serverStateListeners.push(listener);
-                },
-                
-                getCaretOffset: function() {
-                        var editor = this._editor;
-                        return editor.indexFromPos(editor.getCursor());
-                },
-                
-                getLineStart: function(lineNumber) {
-                        var editor = this._editor;
-                        return editor.indexFromPos({line: lineNumber, ch: 0});
-                },
-                
-                getSelection: function() {
-                        var editor = this._editor;
-                return {
-                        start: editor.indexFromPos(editor.getCursor('from')),
-                        end: editor.indexFromPos(editor.getCursor('to'))
-                };
-                },
-                
-                getText: function(start, end) {
-                        var editor = this._editor;
-                        if (start && end) {
-                                return editor.getRange(editor.posFromIndex(start), editor.posFromIndex(end));
-                        } else {
-                                return editor.getValue();
-                        }
-                },
-                
-                isDirty: function() {
-                        return !this._clean;
-                },
-                
-                setDirty: function(dirty) {
-                        if (dirty != this._dirty) {
-                                for (var i = 0; i < this._dirtyStateListeners.length; i++) {
-                                        this._dirtyStateListeners[i](dirty);
-                                }
-                        }
-                        this._dirty = dirty;
-                },
-                
-                addDirtyStateListener: function(listener) {
-                        this._dirtyStateListeners.push(listener);
-                },
-                
-                clearUndoStack: function() {
-                        this._editor.clearHistory();
-                },
-                
-                setCaretOffset: function(offset) {
-                        var editor = this._editor;
-                        editor.setCursor(editor.posFromIndex(offset));
-                },
-                
-                setSelection: function(selection) {
-                        var editor = this._editor;
-                        editor.setSelection(editor.posFromIndex(selection.start), editor.posFromIndex(selection.end));
-                },
-                
-                setText: function(text, start, end) {
-                        var editor = this._editor;
-                        if (!start)
-                                start = 0;
-                        if (!end)
-                                end = editor.getValue().length;
-                        var cursor = editor.getCursor();
-                        editor.replaceRange(text, editor.posFromIndex(start), editor.posFromIndex(end));
-                        editor.setCursor(cursor);
-                }
-                
-        };
-        
-        return CodeMirrorEditorContext;
-});
\ No newline at end of file