From a09fcca9c217b85b82a6ec58c85dcbf035902318 Mon Sep 17 00:00:00 2001 From: chaideqing Date: Wed, 27 Dec 2023 15:28:17 +0800 Subject: [PATCH] * Fix bug #42044. --- module/doc/js/edit.js | 1 + 1 file changed, 1 insertion(+) diff --git a/module/doc/js/edit.js b/module/doc/js/edit.js index 8e626a68c1..2a16b490f5 100644 --- a/module/doc/js/edit.js +++ b/module/doc/js/edit.js @@ -11,6 +11,7 @@ $(function() var visibleHeight = $(window).height() - $('#headerBox').height() - $('#appsBar').height() - 40; $('#contentBox .CodeMirror.cm-s-paper.CodeMirror-wrap').css('max-height', visibleHeight + 'px'); $('#contentBox .CodeMirror.cm-s-paper.CodeMirror-wrap .CodeMirror-vscrollbar').css('display', 'block'); + $('#contentBox .CodeMirror.cm-s-paper.CodeMirror-wrap .CodeMirror-vscrollbar').height(visibleHeight); $('#contentBox .CodeMirror.cm-s-paper.CodeMirror-wrap .CodeMirror-vscrollbar div').height(contentHeight); }, 200); }