Change event in codemirror also have a origin field

It can take different value depending on where it comes from and gover
history merging, various values are `+move` `+insert` `+remove`
`setValue`.
This commit is contained in:
Matthias Bussonnier
2015-07-20 21:15:44 -07:00
parent 7e93eceeff
commit ab7f747635
+2
View File
@@ -601,6 +601,8 @@ declare module CodeMirror {
text: string[];
/** Text that used to be between from and to, which is overwritten by this change. */
removed: string;
/** String representing the origin of the change event and wether it can be merged with history */
origin: string;
}
interface EditorChangeLinkedList extends CodeMirror.EditorChange {