add persistent vscroll option to the demo
This commit is contained in:
parent
d2318e99a2
commit
9bf8eac28c
3 changed files with 9 additions and 1 deletions
|
|
@ -291,6 +291,7 @@ var showGutterEl = document.getElementById("show_gutter");
|
||||||
var showPrintMarginEl = document.getElementById("show_print_margin");
|
var showPrintMarginEl = document.getElementById("show_print_margin");
|
||||||
var highlightSelectedWordE = document.getElementById("highlight_selected_word");
|
var highlightSelectedWordE = document.getElementById("highlight_selected_word");
|
||||||
var showHScrollEl = document.getElementById("show_hscroll");
|
var showHScrollEl = document.getElementById("show_hscroll");
|
||||||
|
var showVScrollEl = document.getElementById("show_vscroll");
|
||||||
var animateScrollEl = document.getElementById("animate_scroll");
|
var animateScrollEl = document.getElementById("animate_scroll");
|
||||||
var softTabEl = document.getElementById("soft_tab");
|
var softTabEl = document.getElementById("soft_tab");
|
||||||
var behavioursEl = document.getElementById("enable_behaviours");
|
var behavioursEl = document.getElementById("enable_behaviours");
|
||||||
|
|
@ -453,7 +454,11 @@ bindCheckbox("highlight_selected_word", function(checked) {
|
||||||
});
|
});
|
||||||
|
|
||||||
bindCheckbox("show_hscroll", function(checked) {
|
bindCheckbox("show_hscroll", function(checked) {
|
||||||
env.editor.renderer.setHScrollBarAlwaysVisible(checked);
|
env.editor.setOption("hScrollBarAlwaysVisible", checked);
|
||||||
|
});
|
||||||
|
|
||||||
|
bindCheckbox("show_vscroll", function(checked) {
|
||||||
|
env.editor.setOption("vScrollBarAlwaysVisible", checked);
|
||||||
});
|
});
|
||||||
|
|
||||||
bindCheckbox("animate_scroll", function(checked) {
|
bindCheckbox("animate_scroll", function(checked) {
|
||||||
|
|
|
||||||
|
|
@ -188,6 +188,8 @@
|
||||||
<label for="show_hscroll">Persistent HScroll</label>
|
<label for="show_hscroll">Persistent HScroll</label>
|
||||||
</td><td>
|
</td><td>
|
||||||
<input type="checkbox" name="show_hscroll" id="show_hscroll">
|
<input type="checkbox" name="show_hscroll" id="show_hscroll">
|
||||||
|
<label for="show_hscroll">VScroll</label>
|
||||||
|
<input type="checkbox" name="show_vscroll" id="show_vscroll">
|
||||||
</td>
|
</td>
|
||||||
</tr>
|
</tr>
|
||||||
<tr>
|
<tr>
|
||||||
|
|
|
||||||
|
|
@ -2370,6 +2370,7 @@ config.defineOptions(Editor.prototype, "editor", {
|
||||||
wrapBehavioursEnabled: {initialValue: true},
|
wrapBehavioursEnabled: {initialValue: true},
|
||||||
|
|
||||||
hScrollBarAlwaysVisible: "renderer",
|
hScrollBarAlwaysVisible: "renderer",
|
||||||
|
vScrollBarAlwaysVisible: "renderer",
|
||||||
highlightGutterLine: "renderer",
|
highlightGutterLine: "renderer",
|
||||||
animatedScroll: "renderer",
|
animatedScroll: "renderer",
|
||||||
showInvisibles: "renderer",
|
showInvisibles: "renderer",
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue