diff options
author | Wu Cheng-Han | 2016-11-28 01:36:48 +0800 |
---|---|---|
committer | Wu Cheng-Han | 2016-11-28 01:36:48 +0800 |
commit | 9f79ed929e4156dc8b5b45161895d70d51cfa5a2 (patch) | |
tree | 760e0491a52558036b93b0c986e96aa95b4c0127 /public/vendor/codemirror/mode/factor/index.html | |
parent | 3a305b8258782797b328f2ce46e8bb74e9603594 (diff) |
Update to move custom CodeMirror codebase to our own repo and update webpack build config
Diffstat (limited to 'public/vendor/codemirror/mode/factor/index.html')
-rw-r--r-- | public/vendor/codemirror/mode/factor/index.html | 77 |
1 files changed, 0 insertions, 77 deletions
diff --git a/public/vendor/codemirror/mode/factor/index.html b/public/vendor/codemirror/mode/factor/index.html deleted file mode 100644 index 9f154891..00000000 --- a/public/vendor/codemirror/mode/factor/index.html +++ /dev/null @@ -1,77 +0,0 @@ -<!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> |