Add 'softTab' option to demo

This commit is contained in:
Julian Viereck 2011-03-19 21:14:06 +08:00 • committed by Fabian Jakobs
commit 0f4e2016c7
2 changed files with 28 additions and 20 deletions

View file

@ -301,6 +301,10 @@ exports.launch = function(env) {
env.editor.renderer.setHScrollBarAlwaysVisible(checked); env.editor.renderer.setHScrollBarAlwaysVisible(checked);
}); });
bindCheckbox("soft_tab", function(checked) {
env.editor.getSession().setUseSoftTabs(checked);
});
function bindCheckbox(id, callback) { function bindCheckbox(id, callback) {
var el = document.getElementById(id); var el = document.getElementById(id);
var onCheck = function() { var onCheck = function() {

View file

@ -71,7 +71,7 @@
</td> </td>
<td align="right"> <td align="right">
<label for="show_hidden">Show Invisibles</label> <label for="show_hidden">Show Invisibles</label>
<input type="checkbox" name="show_hidden" id="show_hidden"> <input type="checkbox" name="show_hidden" id="show_hidden" checked>
</td> </td>
<td align="right"> <td align="right">
<label for="show_hscroll">Persistent HScroll</label> <label for="show_hscroll">Persistent HScroll</label>
@ -128,6 +128,10 @@
<label for="show_print_margin">Show Print Margin</label> <label for="show_print_margin">Show Print Margin</label>
<input type="checkbox" id="show_print_margin" checked> <input type="checkbox" id="show_print_margin" checked>
</td> </td>
<td align="right">
<label for="soft_tab">Use Soft Tab:</label>
<input type="checkbox" id="soft_tab" checked>
</td>
<td align="right"> <td align="right">
<label for="highlight_selected_word">Highlight selected word</label> <label for="highlight_selected_word">Highlight selected word</label>
<input type="checkbox" id="highlight_selected_word" checked> <input type="checkbox" id="highlight_selected_word" checked>
@ -144,7 +148,7 @@
<script type="text/editor" id="jstext">function foo(items) { <script type="text/editor" id="jstext">function foo(items) {
for (var i=0; i<items.length; i++) { for (var i=0; i<items.length; i++) {
alert(items[i] + "juhu"); alert(items[i] + "juhu");
} } // Real Tab.
} }
// A magic character: >> ぁ << // A magic character: >> ぁ <<
</script> </script>