|
@@ -47,6 +47,7 @@ require('codemirror/addon/search/searchcursor');
|
|
|
require('codemirror/addon/search/match-highlighter');
|
|
require('codemirror/addon/search/match-highlighter');
|
|
|
require('codemirror/addon/selection/active-line');
|
|
require('codemirror/addon/selection/active-line');
|
|
|
require('codemirror/addon/scroll/annotatescrollbar');
|
|
require('codemirror/addon/scroll/annotatescrollbar');
|
|
|
|
|
+require('codemirror/addon/scroll/scrollpastend');
|
|
|
require('codemirror/addon/fold/foldcode');
|
|
require('codemirror/addon/fold/foldcode');
|
|
|
require('codemirror/addon/fold/foldgutter');
|
|
require('codemirror/addon/fold/foldgutter');
|
|
|
require('codemirror/addon/fold/foldgutter.css');
|
|
require('codemirror/addon/fold/foldgutter.css');
|
|
@@ -845,6 +846,7 @@ export default class CodeMirrorEditor extends AbstractEditor {
|
|
|
tabSize: 4,
|
|
tabSize: 4,
|
|
|
indentUnit: this.props.indentSize,
|
|
indentUnit: this.props.indentSize,
|
|
|
lineWrapping: true,
|
|
lineWrapping: true,
|
|
|
|
|
+ scrollPastEnd: true,
|
|
|
autoRefresh: { force: true }, // force option is enabled by autorefresh.ext.js -- Yuki Takei
|
|
autoRefresh: { force: true }, // force option is enabled by autorefresh.ext.js -- Yuki Takei
|
|
|
autoCloseTags: true,
|
|
autoCloseTags: true,
|
|
|
placeholder,
|
|
placeholder,
|