Fix an issue with the cursor sometimes disappearing when a patch was received

Update CodeMirror to the latest version (5.13.2)
This commit is contained in:
Yann Flory
2016-04-11 15:47:40 +02:00
parent 713c90242b
commit c2e0dded3a
486 changed files with 41342 additions and 1824 deletions

View File

@@ -3,25 +3,25 @@
<head>
<meta content="text/html; charset=utf-8" http-equiv="content-type"/>
<script src="/bower_components/jquery/dist/jquery.min.js"></script>
<script src="codemirror.js"></script>
<link rel="stylesheet" href="codemirror.css">
<link rel="stylesheet" href="codemirror-5.7/addon/dialog/dialog.css">
<link rel="stylesheet" href="codemirror-5.7/addon/fold/foldgutter.css" />
<script src="codemirror-5.7/mode/javascript/javascript.js"></script>
<script src="codemirror-5.7/addon/edit/closebrackets.js"></script>
<script src="codemirror-5.7/addon/edit/matchbrackets.js"></script>
<script src="codemirror-5.7/addon/edit/trailingspace.js"></script>
<script src="codemirror-5.7/addon/selection/active-line.js"></script>
<script src="codemirror-5.7/addon/search/search.js"></script>
<script src="codemirror-5.7/addon/search/match-highlighter.js"></script>
<script src="codemirror-5.7/addon/search/searchcursor.js"></script>
<script src="codemirror-5.7/addon/dialog/dialog.js"></script>
<script src="codemirror-5.7/addon/fold/foldcode.js"></script>
<script src="codemirror-5.7/addon/fold/foldgutter.js"></script>
<script src="codemirror-5.7/addon/fold/brace-fold.js"></script>
<script src="codemirror-5.7/addon/fold/xml-fold.js"></script>
<script src="codemirror-5.7/addon/fold/markdown-fold.js"></script>
<script src="codemirror-5.7/addon/fold/comment-fold.js"></script>
<script src="codemirror-5.13.2/lib/codemirror.js"></script>
<link rel="stylesheet" href="codemirror-5.13.2/lib/codemirror.css">
<link rel="stylesheet" href="codemirror-5.13.2/addon/dialog/dialog.css">
<link rel="stylesheet" href="codemirror-5.13.2/addon/fold/foldgutter.css" />
<script src="codemirror-5.13.2/mode/javascript/javascript.js"></script>
<script src="codemirror-5.13.2/addon/edit/closebrackets.js"></script>
<script src="codemirror-5.13.2/addon/edit/matchbrackets.js"></script>
<script src="codemirror-5.13.2/addon/edit/trailingspace.js"></script>
<script src="codemirror-5.13.2/addon/selection/active-line.js"></script>
<script src="codemirror-5.13.2/addon/search/search.js"></script>
<script src="codemirror-5.13.2/addon/search/match-highlighter.js"></script>
<script src="codemirror-5.13.2/addon/search/searchcursor.js"></script>
<script src="codemirror-5.13.2/addon/dialog/dialog.js"></script>
<script src="codemirror-5.13.2/addon/fold/foldcode.js"></script>
<script src="codemirror-5.13.2/addon/fold/foldgutter.js"></script>
<script src="codemirror-5.13.2/addon/fold/brace-fold.js"></script>
<script src="codemirror-5.13.2/addon/fold/xml-fold.js"></script>
<script src="codemirror-5.13.2/addon/fold/markdown-fold.js"></script>
<script src="codemirror-5.13.2/addon/fold/comment-fold.js"></script>
<style>
html {
height: 100%;