mirror of
https://github.com/fofolee/uTools-quickcommand.git
synced 2025-10-26 13:41:19 +08:00
v0.0.1
This commit is contained in:
59
codemirror/mode/oz/index.html
vendored
Normal file
59
codemirror/mode/oz/index.html
vendored
Normal file
@@ -0,0 +1,59 @@
|
||||
<!doctype html>
|
||||
|
||||
<title>CodeMirror: Oz mode</title>
|
||||
<meta charset="utf-8"/>
|
||||
<link rel=stylesheet href="../../doc/docs.css">
|
||||
|
||||
<link rel="stylesheet" href="../../lib/codemirror.css">
|
||||
<script src="../../lib/codemirror.js"></script>
|
||||
<script src="oz.js"></script>
|
||||
<script src="../../addon/runmode/runmode.js"></script>
|
||||
<style>
|
||||
.CodeMirror {border: 1px solid #aaa;}
|
||||
</style>
|
||||
<div id=nav>
|
||||
<a href="https://codemirror.net"><h1>CodeMirror</h1><img id=logo src="../../doc/logo.png"></a>
|
||||
<ul>
|
||||
<li><a href="../../index.html">Home</a>
|
||||
<li><a href="../../doc/manual.html">Manual</a>
|
||||
<li><a href="https://github.com/codemirror/codemirror">Code</a>
|
||||
</ul>
|
||||
<ul>
|
||||
<li><a href="../index.html">Language modes</a>
|
||||
<li><a class=active href="#">Oz</a>
|
||||
</ul>
|
||||
</div>
|
||||
|
||||
<article>
|
||||
<h2>Oz mode</h2>
|
||||
<textarea id="code" name="code">
|
||||
declare
|
||||
fun {Ints N Max}
|
||||
if N == Max then nil
|
||||
else
|
||||
{Delay 1000}
|
||||
N|{Ints N+1 Max}
|
||||
end
|
||||
end
|
||||
|
||||
fun {Sum S Stream}
|
||||
case Stream of nil then S
|
||||
[] H|T then S|{Sum H+S T} end
|
||||
end
|
||||
|
||||
local X Y in
|
||||
thread X = {Ints 0 1000} end
|
||||
thread Y = {Sum 0 X} end
|
||||
{Browse Y}
|
||||
end
|
||||
</textarea>
|
||||
<p>MIME type defined: <code>text/x-oz</code>.</p>
|
||||
|
||||
<script>
|
||||
var editor = CodeMirror.fromTextArea(document.getElementById("code"), {
|
||||
lineNumbers: true,
|
||||
mode: "text/x-oz",
|
||||
readOnly: false
|
||||
});
|
||||
</script>
|
||||
</article>
|
||||
Reference in New Issue
Block a user