-
Notifications
You must be signed in to change notification settings - Fork 456
/
cm.js
88 lines (85 loc) · 2.51 KB
/
cm.js
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
// Generated by CoffeeScript 1.3.3
(function() {
var applyToShareJS;
applyToShareJS = function(editorDoc, delta, doc) {
var delLen, i, startPos;
startPos = 0;
i = 0;
while (i < delta.from.line) {
startPos += editorDoc.lineInfo(i).text.length + 1;
i++;
}
startPos += delta.from.ch;
if (delta.to.line === delta.from.line && delta.to.ch === delta.from.ch) {
doc.insert(startPos, delta.text.join('\n'));
} else {
delLen = delta.to.ch - delta.from.ch;
while (i < delta.to.line) {
delLen += editorDoc.lineInfo(i).text.length + 1;
i++;
}
doc.del(startPos, delLen);
if (delta.text) {
doc.insert(startPos, delta.text.join('\n'));
}
}
if (delta.next) {
return applyToShareJS(editorDoc, delta.next, doc);
}
};
window.sharejs.extendDoc('attach_cm', function(editor, keepEditorContents) {
var check, editorListener, sharedoc, suppress;
if (!this.provides.text) {
throw new Error('Only text documents can be attached to CodeMirror2');
}
sharedoc = this;
check = function() {
return window.setTimeout(function() {
var editorText, otText;
editorText = editor.getValue();
otText = sharedoc.getText();
if (editorText !== otText) {
console.error("Text does not match!");
console.error("editor: " + editorText);
console.error("ot: " + otText);
return editor.setValue(sharedoc.getText());
}
}, 0);
};
if (keepEditorContents) {
this.del(0, sharedoc.getText().length);
this.insert(0, editor.getValue());
} else {
editor.setValue(sharedoc.getText());
}
check();
suppress = false;
editorListener = function(ed, change) {
if (suppress) {
return;
}
applyToShareJS(editor, change, sharedoc);
return check();
};
editor.setOption('onChange', editorListener);
this.on('insert', function(pos, text) {
suppress = true;
editor.replaceRange(text, editor.posFromIndex(pos));
suppress = false;
return check();
});
this.on('delete', function(pos, text) {
var from, to;
suppress = true;
from = editor.posFromIndex(pos);
to = editor.posFromIndex(pos + text.length);
editor.replaceRange('', from, to);
suppress = false;
return check();
});
this.detach_cm = function() {
editor.setOption('onChange', null);
return delete this.detach_cm;
};
});
}).call(this);