diff --git a/demo/demo.js b/demo/demo.js index 408036f4..0437c78c 100644 --- a/demo/demo.js +++ b/demo/demo.js @@ -127,26 +127,6 @@ exports.launch = function(env) { var container = document.getElementById("editor"); env.editor = new Editor(new Renderer(container, theme)); - var Anchor = require("ace/anchor").Anchor; - var Range = require("ace/range").Range; - - var anchorStart = new Anchor(docs.js, 2, 8); - var anchorEnd = new Anchor(docs.js, 2, 13); - - var marker; - function updateFloat() { - if (marker) - env.editor.renderer.removeMarker(marker); - var range = Range.fromPoints( - anchorStart.getPosition(), - anchorEnd.getPosition() - ); - marker = env.editor.renderer.addMarker(range, "cool", "text"); - }; - updateFloat(); - anchorStart.on("change", updateFloat); - anchorEnd.on("change", updateFloat); - var modes = { text: new TextMode(), xml: new XmlMode(), diff --git a/demo/styles.css b/demo/styles.css index 2c941c00..3f244f7c 100644 --- a/demo/styles.css +++ b/demo/styles.css @@ -15,12 +15,6 @@ body { color: white; } -#editor .cool { - position: absolute; - z-index: 4; - background: orange; -} - #editor { position: absolute; top: 60px;