Codemirror -extrakeys

by jean-philippe janecek

HTML

<link rel="stylesheet" href="https://codemirror.net/theme/ambiance.css">
<script src="https://codemirror.net/lib/codemirror.js"></script>
<link rel="stylesheet" href="https://codemirror.net/lib/codemirror.css">
<script src="https://codemirror.net/3/mode/shell/shell.js"></script>
<form>
  <textarea id="code" name="code">
$ edjangercompose
edjanger:INFO Write /docker-compose.yaml ...
edjanger:INFO Process informations of configuration: "$PWD/webserver/edjanger.properties"  ...
$ ls -la
total 64
drwxr-xr-x  8 docker  staff   272  4 déc 17:18 .
drwxr-xr-x  4 docker  staff   136  4 déc 16:55 ..
drwxr-xr-x  3 docker  staff   102  4 déc 16:55 build
-rw-r--r--  1 docker  staff  2061  4 déc 16:55 configuration.properties
-rw-r--r--  1 docker  staff   447  4 déc 17:18 docker-compose.yaml
-rw-r--r--  1 docker  staff  6666  4 déc 16:55 edjanger.properties
-rw-r--r--  1 docker  staff  6684  4 déc 16:55 edjanger.template
-rw-r--r--  1 docker  staff  6693  4 déc 16:55 edjanger_20161204_165515.bak
  </textarea>
</form>

CSS

.CodeMirror {
  border: 1px solid #eee;
  height: auto;
}

JavaScript

$(document).ready(function() {
  var editor = CodeMirror.fromTextArea(document.getElementById('code'), {
    mode: 'shell',
    theme: "ambiance",
    lineNumbers: true,
    matchBrackets: true
  });
});