Start addressing comments
This commit is contained in:
parent
9efccbb776
commit
3d0f30c36d
3 changed files with 18 additions and 39 deletions
|
|
@ -62,6 +62,8 @@ var fillDropdown = util.fillDropdown;
|
|||
var bindCheckbox = util.bindCheckbox;
|
||||
var bindDropdown = util.bindDropdown;
|
||||
|
||||
var ElasticTabstopsLite = require("ace/elastic_tabstops_lite").ElasticTabstopsLite;
|
||||
|
||||
/*********** create editor ***************************/
|
||||
var container = document.getElementById("editor-container");
|
||||
|
||||
|
|
@ -379,7 +381,8 @@ bindDropdown("split", function(value) {
|
|||
|
||||
|
||||
bindCheckbox("elastic_tabstops", function(checked) {
|
||||
env.editor.setUseElasticTabstops(checked);
|
||||
if (checked === true)
|
||||
new ElasticTabstopsLite(env.editor);
|
||||
});
|
||||
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue