added properties.

workstream:
This commit is contained in:
Nikolaj Kappler
2018-12-05 16:45:12 +01:00
parent 587729be99
commit 71587e15f3

View File

@@ -13,6 +13,9 @@ import * as Tern from "tern";
declare module "codemirror" {
interface TernServer {
readonly options: TernOptions;
readonly docs: { readonly [key: string]: CodeMirror.Doc };
readonly server: Tern.Server;
addDoc(name: string, doc: CodeMirror.Doc): { doc: CodeMirror.Doc, name: string, changed: { from: number, to: number } | null };
delDoc(id: string | CodeMirror.Editor | CodeMirror.Doc): void;
hideDoc(id: string | CodeMirror.Editor | CodeMirror.Doc): void;