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">
$ edjangerhelp
Help must have one argument in list:

  print parameters used by edjanger commands:	=> edjangerhelp config

  help on command: edjangerabout		=> edjangerhelp about
  help on command: edjangeralias		=> edjangerhelp alias
  help on command: edjangerattach		=> edjangerhelp attach
  help on command: edjangerbuild		=> edjangerhelp build
  help on command: edjangercheck		=> edjangerhelp check
  help on command: edjangerclean		=> edjangerhelp clean
  help on command: edjangercommit		=> edjangerhelp commit
  help on command: edjangercompose		=> edjangerhelp compose
  help on command: edjangercopy			=> edjangerhelp copy
  help on command: edjangercreate		=> edjangerhelp create
  help on command: edjangerdiff			=> edjangerhelp diff
  help on command: edjangerevents		=> edjangerhelp events
  help on command: edjangerexec			=> edjangerhelp exec
  help on command: edjangerexport		=> edjangerhelp export
  help on command: edjangerhelp			=> edjangerhelp help
  help on command: edjangerhistory		=> edjangerhelp history
  help on command: edjangerimages		=> edjangerhelp images
  help on command: edjangerimport		=> edjangerhelp import
  help on command: edjangerinit			=> edjangerhelp init
  help on command: edjangerinspect		=> edjangerhelp inspect
  help on command: edjangerkill			=> edjangerhelp kill
  help on command: edjangerlogs			=> edjangerhelp logs
  help on command: edjangerpause		=> edjangerhelp pause
  help on command: edjangerportdesc		=> edjangerhelp portdesc
  help on command: edjangerports		=> edjangerhelp ports
  help on command: edjangerps			=> edjangerhelp ps
  help on command: edjangerpsa			=> edjangerhelp psa
  help on command:...

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
  });
});