add scrollPastEnd to demo
This commit is contained in:
parent
8a6320bfd1
commit
1ad2602f8b
3 changed files with 12 additions and 0 deletions
|
|
@ -430,6 +430,9 @@ bindCheckbox("fade_fold_widgets", function(checked) {
|
|||
bindCheckbox("read_only", function(checked) {
|
||||
env.editor.setReadOnly(checked);
|
||||
});
|
||||
bindCheckbox("scrollPastEnd", function(checked) {
|
||||
env.editor.setOption("scrollPastEnd", checked);
|
||||
});
|
||||
|
||||
bindDropdown("split", function(value) {
|
||||
var sp = env.split;
|
||||
|
|
|
|||
|
|
@ -274,6 +274,14 @@
|
|||
<input type="checkbox" id="read_only">
|
||||
</td>
|
||||
</tr>
|
||||
<tr>
|
||||
<td >
|
||||
<label for="scrollPastEnd">Scroll Past End</label>
|
||||
</td>
|
||||
<td>
|
||||
<input type="checkbox" id="scrollPastEnd" checked>
|
||||
</td>
|
||||
</tr>
|
||||
<tr>
|
||||
<td colspan="2">
|
||||
<input type="button" value="Edit Snippets" onclick="env.editSnippets()">
|
||||
|
|
|
|||
|
|
@ -2261,6 +2261,7 @@ config.defineOptions(Editor.prototype, "editor", {
|
|||
fontFamily: "renderer",
|
||||
maxLines: "renderer",
|
||||
minLines: "renderer",
|
||||
scrollPastEnd: "renderer",
|
||||
|
||||
scrollSpeed: "$mouseHandler",
|
||||
dragDelay: "$mouseHandler",
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue