diff options
author | Pushkar Joshi | 2012-02-24 12:08:49 -0800 |
---|---|---|
committer | Pushkar Joshi | 2012-02-24 12:08:49 -0800 |
commit | 03ca7a5ed13c25faaa9100bb666e062fd15335e6 (patch) | |
tree | c51112223ceb9121cd595a60335eb2795215590f /imports/codemirror/mode/pascal/index.html | |
parent | fcb12cc09eb3cd3b42bd215877ba18f449275b75 (diff) | |
parent | 053fc63a2950c7a5ee4ebf98033b64d474a3c46e (diff) | |
download | ninja-03ca7a5ed13c25faaa9100bb666e062fd15335e6.tar.gz |
Merge branch 'pentool' into brushtool
Conflicts:
imports/codemirror/mode/scheme/scheme.js
js/tools/BrushTool.js
Diffstat (limited to 'imports/codemirror/mode/pascal/index.html')
-rwxr-xr-x | imports/codemirror/mode/pascal/index.html | 48 |
1 files changed, 48 insertions, 0 deletions
diff --git a/imports/codemirror/mode/pascal/index.html b/imports/codemirror/mode/pascal/index.html new file mode 100755 index 00000000..6af6b460 --- /dev/null +++ b/imports/codemirror/mode/pascal/index.html | |||
@@ -0,0 +1,48 @@ | |||
1 | <!doctype html> | ||
2 | <html> | ||
3 | <head> | ||
4 | <title>CodeMirror: Pascal mode</title> | ||
5 | <link rel="stylesheet" href="../../lib/codemirror.css"> | ||
6 | <script src="../../lib/codemirror.js"></script> | ||
7 | <script src="pascal.js"></script> | ||
8 | <link rel="stylesheet" href="../../doc/docs.css"> | ||
9 | <style type="text/css">.CodeMirror {border-top: 1px solid black; border-bottom: 1px solid black;}</style> | ||
10 | </head> | ||
11 | <body> | ||
12 | <h1>CodeMirror: Pascal mode</h1> | ||
13 | |||
14 | <div><textarea id="code" name="code"> | ||
15 | (* Example Pascal code *) | ||
16 | |||
17 | while a <> b do writeln('Waiting'); | ||
18 | |||
19 | if a > b then | ||
20 | writeln('Condition met') | ||
21 | else | ||
22 | writeln('Condition not met'); | ||
23 | |||
24 | for i := 1 to 10 do | ||
25 | writeln('Iteration: ', i:1); | ||
26 | |||
27 | repeat | ||
28 | a := a + 1 | ||
29 | until a = 10; | ||
30 | |||
31 | case i of | ||
32 | 0: write('zero'); | ||
33 | 1: write('one'); | ||
34 | 2: write('two') | ||
35 | end; | ||
36 | </textarea></div> | ||
37 | |||
38 | <script> | ||
39 | var editor = CodeMirror.fromTextArea(document.getElementById("code"), { | ||
40 | lineNumbers: true, | ||
41 | matchBrackets: true, | ||
42 | mode: "text/x-pascal" | ||
43 | }); | ||
44 | </script> | ||
45 | |||
46 | <p><strong>MIME types defined:</strong> <code>text/x-pascal</code>.</p> | ||
47 | </body> | ||
48 | </html> | ||