diff options
author | Wu Cheng-Han | 2015-07-04 11:31:01 +0800 |
---|---|---|
committer | Wu Cheng-Han | 2015-07-04 11:31:01 +0800 |
commit | 01685c255fda6e13f1cd2980130d2e388d52125c (patch) | |
tree | c329610e7011c0d77c55ef54f371181aeb362d13 /public/vendor/codemirror/mode/factor/index.html | |
parent | 1d843c8ac257d512a96cf054ab24e6a3c2f34e26 (diff) |
Updated codemirror to 5.4.0
Diffstat (limited to '')
-rwxr-xr-x | public/vendor/codemirror/mode/factor/index.html | 77 |
1 files changed, 77 insertions, 0 deletions
diff --git a/public/vendor/codemirror/mode/factor/index.html b/public/vendor/codemirror/mode/factor/index.html new file mode 100755 index 00000000..9f154891 --- /dev/null +++ b/public/vendor/codemirror/mode/factor/index.html @@ -0,0 +1,77 @@ +<!doctype html> + +<title>CodeMirror: Factor mode</title> +<meta charset="utf-8"/> +<link rel=stylesheet href="../../doc/docs.css"> + +<link href='http://fonts.googleapis.com/css?family=Droid+Sans+Mono' rel='stylesheet' type='text/css'> +<link rel="stylesheet" href="../../lib/codemirror.css"> +<script src="../../lib/codemirror.js"></script> +<script src="../../addon/mode/simple.js"></script> +<script src="factor.js"></script> +<style> +.CodeMirror { + font-family: 'Droid Sans Mono', monospace; + font-size: 14px; +} +</style> +<div id=nav> + <a href="http://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="#">Factor</a> + </ul> +</div> + +<article> + +<h2>Factor mode</h2> + +<form><textarea id="code" name="code"> +! Copyright (C) 2008 Slava Pestov. +! See http://factorcode.org/license.txt for BSD license. + +! A simple time server + +USING: accessors calendar calendar.format io io.encodings.ascii +io.servers kernel threads ; +IN: time-server + +: handle-time-client ( -- ) + now timestamp>rfc822 print ; + +: <time-server> ( -- threaded-server ) + ascii <threaded-server> + "time-server" >>name + 1234 >>insecure + [ handle-time-client ] >>handler ; + +: start-time-server ( -- ) + <time-server> start-server drop ; + +MAIN: start-time-server +</textarea> + </form> + +<script> + var editor = CodeMirror.fromTextArea(document.getElementById("code"), { + lineNumbers: true, + lineWrapping: true, + indentUnit: 2, + tabSize: 2, + autofocus: true, + mode: "text/x-factor" + }); +</script> +<p/> +<p>Simple mode that handles Factor Syntax (<a href="http://en.wikipedia.org/wiki/Factor_(programming_language)">Factor on WikiPedia</a>).</p> + +<p><strong>MIME types defined:</strong> <code>text/x-factor</code>.</p> + +</article> |