diff --git a/demo/startup.js b/demo/startup.js index 60db99a7..c56a8dc6 100644 --- a/demo/startup.js +++ b/demo/startup.js @@ -150,7 +150,11 @@ exports.launch = function(env) { modeEl.value = "text"; } - wrapModeEl.checked = doc.getUseWrapMode() ? "checked" : ""; + if (!doc.getUseWrapMode()) { + wrapModeEl.value = "off"; + } else { + wrapModeEl.value = doc.getWrapLimit(); + } env.editor.focus(); }); @@ -163,11 +167,32 @@ exports.launch = function(env) { }); bindDropdown("keybinding", function(value) { - env.editor.setKeyboardHandler(keybindings[value]); + env.editor.setKeyboardHandler(keybindings[value]); }); bindDropdown("fontsize", function(value) { - document.getElementById("editor").style["font-size"] = value; + document.getElementById("editor").style["font-size"] = value; + }); + + bindDropdown("soft_wrap", function(value) { + var session = env.editor.getSession(); + var renderer = env.editor.renderer; + switch (value) { + case "off": + session.setUseWrapMode(false); + renderer.setPrintMarginColumn(80); + break; + case "40": + session.setUseWrapMode(true); + session.setWrapLimit(40); + renderer.setPrintMarginColumn(40); + break; + case "80": + session.setUseWrapMode(true); + session.setWrapLimit(80); + renderer.setPrintMarginColumn(80); + break; + } }); bindCheckbox("select_style", function(checked) { @@ -190,10 +215,6 @@ exports.launch = function(env) { env.editor.renderer.setShowPrintMargin(checked); }); - bindCheckbox("soft_wrap", function(checked) { - env.editor.getSession().setUseWrapMode(checked); - }); - function bindCheckbox(id, callback) { var el = document.getElementById(id); var onCheck = function() { diff --git a/editor.html b/editor.html index c45c9de2..be7968b2 100644 --- a/editor.html +++ b/editor.html @@ -74,7 +74,6 @@ -