Commit 0d750f8a authored by Hanspeter Portner's avatar Hanspeter Portner

manual: fix scrolling of editor div.

parent 29229a4a
Pipeline #4342470 passed with stages
in 6 minutes and 1 second
......@@ -3586,7 +3586,7 @@ assert(Units.unit == ctx.units.unit)</code></pre>
</div></div>
<div class="api-editor">
<div id="editor">-- moony manual
<div id="editor" style="height:100%;">-- moony manual
-- load a code snippet from the left!</div>
</div>
......@@ -3619,7 +3619,7 @@ assert(Units.unit == ctx.units.unit)</code></pre>
editor.$blockScrolling = Infinity
editor.setOptions({
minLines: 1,
maxLines: Infinity,
//maxLines: Infinity,
showPrintMargin: false,
fontSize: 14,
tabSize: 2,
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment