also allow number for changed position.

workstream:
This commit is contained in:
Nikolaj Kappler
2018-12-06 14:46:03 +01:00
parent 73eb46e881
commit f2904cedb3
+2 -2
View File
@@ -18,8 +18,8 @@ declare module "codemirror" {
doc: CodeMirror.Doc,
name: string,
changed?: {
from: CodeMirror.Position,
to: CodeMirror.Position
from: CodeMirror.Position | number,
to: CodeMirror.Position | number
}
}
};