move a few things away in to-be-integrated/

[myslice.git] / third-party / codemirror-3.15 / mode / javascript / typescript.html
diff --git a/third-party/codemirror-3.15/mode/javascript/typescript.html b/third-party/codemirror-3.15/mode/javascript/typescript.html

deleted file mode 100644 (file)

index 58315e7..0000000
--- a/third-party/codemirror-3.15/mode/javascript/typescript.html
+++ /dev/null
@@ -1,48 +0,0 @@
-<!doctype html>
-<html>
-  <head>
-    <meta charset="utf-8">
-    <title>CodeMirror: TypeScript mode</title>
-    <link rel="stylesheet" href="../../lib/codemirror.css">
-    <script src="../../lib/codemirror.js"></script>
-    <script src="javascript.js"></script>
-    <link rel="stylesheet" href="../../doc/docs.css">
-    <style type="text/css">.CodeMirror {border-top: 1px solid black; border-bottom: 1px solid black;}</style>
-  </head>
-  <body>
-    <h1>CodeMirror: TypeScript mode</h1>
-
-<div><textarea id="code" name="code">
-class Greeter {
-       greeting: string;
-       constructor (message: string) {
-               this.greeting = message;
-       }
-       greet() {
-               return "Hello, " + this.greeting;
-       }
-}   
-
-var greeter = new Greeter("world");
-
-var button = document.createElement('button')
-button.innerText = "Say Hello"
-button.onclick = function() {
-       alert(greeter.greet())
-}
-
-document.body.appendChild(button)
-
-</textarea></div>
-
-    <script>
-      var editor = CodeMirror.fromTextArea(document.getElementById("code"), {
-        lineNumbers: true,
-        matchBrackets: true,
-        mode: "text/typescript"
-      });
-    </script>
-
-    <p>This is a specialization of the <a href="index.html">JavaScript mode</a>.</p>
-  </body>
-</html>