jyapayne/ace
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Add editor.html Font-Size selection

Browse source
This commit is contained in:
Julian Viereck 2011-01-28 19:17:04 +08:00 • committed by Fabian Jakobs
commit fa7bfdeb10
2 changed files with 30 additions and 13 deletions
Download patch file Download diff file Expand all files Collapse all files

4
demo/startup.js
View file

@ -166,6 +166,10 @@ exports.launch = function(env) {
env.editor.setKeyboardHandler(keybindings[value]);
});
bindDropdown("fontsize", function(value) {
document.getElementById("editor").style["font-size"] = value;
});
bindCheckbox("select_style", function(checked) {
env.editor.setSelectionStyle(checked ? "line" : "text");
});