Fix render misalignment. Looks good so far.

This commit is contained in:
Julian Viereck 2011-04-28 14:06:03 +02:00
commit 1d9dbe6d3e
2 changed files with 10 additions and 2 deletions

View file

@ -157,7 +157,7 @@ exports.launch = function(env) {
docs.svg.addFold(new Range(1, 0, 7, 0), "fold...");
docs.plain.addFold(new Range(0, 90, 2, 30), "fold");
window.s = docs.js;
window.s = docs.plain;
window.e = env.editor;
setTimeout(function() {
env.editor.selection.addEventListener("changeCursor", function() {