diff options
author | Wu Cheng-Han | 2016-01-17 14:28:04 -0600 |
---|---|---|
committer | Wu Cheng-Han | 2016-01-17 14:28:04 -0600 |
commit | eaa8ccaccb1091820d0a8d1223996a6dd057347d (patch) | |
tree | 6b4aaa3b3d1a2fed68147510142663222533775a /public/vendor/codemirror/mode/kotlin/index.html | |
parent | ce65e58096d57ace02723d11a125673f9d48c293 (diff) |
Upgrade CodeMirror to 5.10.1 and now support fullscreen, jump-to-line in editor
Diffstat (limited to 'public/vendor/codemirror/mode/kotlin/index.html')
-rwxr-xr-x | public/vendor/codemirror/mode/kotlin/index.html | 89 |
1 files changed, 0 insertions, 89 deletions
diff --git a/public/vendor/codemirror/mode/kotlin/index.html b/public/vendor/codemirror/mode/kotlin/index.html deleted file mode 100755 index 859e109f..00000000 --- a/public/vendor/codemirror/mode/kotlin/index.html +++ /dev/null @@ -1,89 +0,0 @@ -<!doctype html> - -<title>CodeMirror: Kotlin 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="kotlin.js"></script> -<style type="text/css">.CodeMirror {border-top: 1px solid black; border-bottom: 1px solid black;}</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="#">Kotlin</a> - </ul> -</div> - -<article> -<h2>Kotlin mode</h2> - - -<div><textarea id="code" name="code"> -package org.wasabi.http - -import java.util.concurrent.Executors -import java.net.InetSocketAddress -import org.wasabi.app.AppConfiguration -import io.netty.bootstrap.ServerBootstrap -import io.netty.channel.nio.NioEventLoopGroup -import io.netty.channel.socket.nio.NioServerSocketChannel -import org.wasabi.app.AppServer - -public class HttpServer(private val appServer: AppServer) { - - val bootstrap: ServerBootstrap - val primaryGroup: NioEventLoopGroup - val workerGroup: NioEventLoopGroup - - { - // Define worker groups - primaryGroup = NioEventLoopGroup() - workerGroup = NioEventLoopGroup() - - // Initialize bootstrap of server - bootstrap = ServerBootstrap() - - bootstrap.group(primaryGroup, workerGroup) - bootstrap.channel(javaClass<NioServerSocketChannel>()) - bootstrap.childHandler(NettyPipelineInitializer(appServer)) - } - - public fun start(wait: Boolean = true) { - val channel = bootstrap.bind(appServer.configuration.port)?.sync()?.channel() - - if (wait) { - channel?.closeFuture()?.sync() - } - } - - public fun stop() { - // Shutdown all event loops - primaryGroup.shutdownGracefully() - workerGroup.shutdownGracefully() - - // Wait till all threads are terminated - primaryGroup.terminationFuture().sync() - workerGroup.terminationFuture().sync() - } -} -</textarea></div> - - <script> - var editor = CodeMirror.fromTextArea(document.getElementById("code"), { - mode: {name: "kotlin"}, - lineNumbers: true, - indentUnit: 4 - }); - </script> - <h3>Mode for Kotlin (http://kotlin.jetbrains.org/)</h3> - <p>Developed by Hadi Hariri (https://github.com/hhariri).</p> - <p><strong>MIME type defined:</strong> <code>text/x-kotlin</code>.</p> -</article> |