From 71587e15f393b60db1f4fc9105ebecd320c7eed5 Mon Sep 17 00:00:00 2001
From: Nikolaj Kappler <nikolaj.kappler@sap.com>
Date: Wed, 5 Dec 2018 16:45:12 +0100
Subject: [PATCH] added properties.

workstream:
---
 types/codemirror/codemirror-tern.d.ts | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/types/codemirror/codemirror-tern.d.ts b/types/codemirror/codemirror-tern.d.ts
index 2f08090d06..13061d5739 100644
--- a/types/codemirror/codemirror-tern.d.ts
+++ b/types/codemirror/codemirror-tern.d.ts
@@ -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;