wbrawner/Caret
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Add a scrollPastEnd option, default to true.

Browse source
This commit is contained in:
Thomas Wilburn 2014-02-19 07:49:55 -08:00
parent 02f77531e2
commit b01b122241
2 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
config/user.json
View file

@ -46,6 +46,7 @@
"wrapLimit":false, //Set to the number of characters you want or false for full window
"showMargin": false,
"lineEndings": "auto", //newline format - "windows", "unix", or "auto"
"scrollPastEnd": true, //allow the editor to scroll past the end of the document
//only fixed-width fonts supported, for now
"fontFamily": "",

1
js/editor.js
View file

@ -37,6 +37,7 @@ define([
userConfig = Settings.get("user");
themes.value = userConfig.defaultTheme;
editor.setTheme("ace/theme/" + themes.value);
editor.setOption("scrollPastEnd", userConfig.scrollPastEnd);
editor.setShowPrintMargin(userConfig.showMargin || false);
editor.setPrintMarginColumn(userConfig.wrapLimit || 80);
editor.setShowInvisibles(userConfig.showWhitespace || false);