From 9f9deceeef69f486fa69a27fc292b74c0c227a38 Mon Sep 17 00:00:00 2001 From: zhengbli Date: Thu, 23 Jun 2016 16:25:30 -0700 Subject: [PATCH] Correct the api string name --- src/server/session.ts | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/server/session.ts b/src/server/session.ts index c85158744bc..195845c98fe 100644 --- a/src/server/session.ts +++ b/src/server/session.ts @@ -111,8 +111,8 @@ namespace ts.server { export const Formatonkey = "formatonkey"; export const Geterr = "geterr"; export const GeterrForProject = "geterrForProject"; - export const SemanticDiagnosticsSync = "semanticDiagnosticsFull"; - export const SyntacticDiagnosticsSync = "syntacticDiagnosticsFull"; + export const SemanticDiagnosticsSync = "semanticDiagnosticsSync"; + export const SyntacticDiagnosticsSync = "syntacticDiagnosticsSync"; export const NavBar = "navbar"; export const Navto = "navto"; export const Occurrences = "occurrences";