Skip to content

Instantly share code, notes, and snippets.

@njx
Last active December 15, 2015 13:19
Show Gist options
  • Save njx/5266353 to your computer and use it in GitHub Desktop.
Save njx/5266353 to your computer and use it in GitHub Desktop.
<!doctype html>
<html>
<head>
<title>repaint bug</title>
<link rel="stylesheet" href="lib/codemirror.css">
<script src="lib/codemirror.js"></script>
<link rel="stylesheet" href="doc/docs.css">
<style type="text/css">
.CodeMirror {border: 1px solid black; height: 600px;}
</style>
</head>
<body>
<h1>repaint bug</h1>
<div id="editor"></div>
<script id="script">
window.onload = function() {
var content = "";
for (var i = 0; i < 100; i++) {
content += "line " + i + "\n";
}
var editor = CodeMirror(document.getElementById("editor"), {
lineNumbers: true,
value: content
});
};
</script>
</body>
</html>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment