From 476b06e70aa524981c4c57a8c2b7728bbecb7ba3 Mon Sep 17 00:00:00 2001
From: Marijn Haverbeke <marijn@haverbeke.nl>
Date: Wed, 17 Aug 2016 16:36:28 +0200
Subject: [PATCH] [tern demo] Adjust to change in Tern
Closes #4172
---
demo/tern.html | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/demo/tern.html b/demo/tern.html
index b7b65608e..d0dee8a70 100644
--- a/demo/tern.html
+++ b/demo/tern.html
@@ -1,4 +1,4 @@
-<!doctype html>
+<!doctype html>
<title>CodeMirror: Tern Demo</title>
<meta charset="utf-8"/>
@@ -109,8 +109,8 @@ overview.</p>
}
var server;
- getURL("//ternjs.net/defs/ecma5.json", function(err, code) {
- if (err) throw new Error("Request for ecma5.json: " + err);
+ getURL("//ternjs.net/defs/ecmascript.json", function(err, code) {
+ if (err) throw new Error("Request for ecmascript.json: " + err);
server = new CodeMirror.TernServer({defs: [JSON.parse(code)]});
editor.setOption("extraKeys", {
"Ctrl-Space": function(cm) { server.complete(cm); },
--
GitLab