typescript.html
48 lines
| 1.2 KiB
| text/html
|
HtmlLexer
r4026 | <!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 { | ||||
r4029 | greeting: string; | |||
constructor (message: string) { | ||||
this.greeting = message; | ||||
} | ||||
greet() { | ||||
return "Hello, " + this.greeting; | ||||
} | ||||
} | ||||
r4026 | ||||
var greeter = new Greeter("world"); | ||||
var button = document.createElement('button') | ||||
button.innerText = "Say Hello" | ||||
button.onclick = function() { | ||||
r4029 | alert(greeter.greet()) | |||
r4026 | } | |||
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> | ||||