strepsirrhini/libreoffice-online
3
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 1

jsdialog: non-user-managed scrolled window

Browse source 
Signed-off-by: Szymon Kłos <szymon.klos@collabora.com>
Change-Id: Ic49898cd7e663c7db270dec7310a94b9bd9b5943
This commit is contained in:
Szymon Kłos 2023-03-16 17:22:36 +01:00 committed by Szymon Kłos
parent 8fc3ef40f1
commit 1216a769dc
1 changed files with 10 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
browser/src/control/jsdialog/Widget.ScrolledWindow.js
View file

@ -38,7 +38,7 @@ function _scrolledWindowControl(parentContainer, data, builder) {
builder.build(content, data.children, false);
if (!data.vertical && !data.horizontal)
return;
return false;
var noVertical = data.vertical.policy === 'never';
if (noVertical)
@ -77,9 +77,11 @@ function _scrolledWindowControl(parentContainer, data, builder) {
content.style.height = (realContentHeight + verticalSteps) + 'px';
content.style.width = (realContentWidth + horizontalSteps) + 'px';
content.style.margin = '0 ' + margin + 'px ' + margin + 'px 0';
scrollwindow.style.height = (realContentHeight + margin) + 'px';
scrollwindow.style.width = (realContentWidth + margin) + 'px';
content.scrollTop = data.vertical.value * 10;
content.scrollLeft = data.horizontal.value * 10;
content.style.margin = content.scrollTop + 'px ' + margin + 'px ' + margin + 'px ' + content.scrollLeft + 'px';
};
setTimeout(updateSize, 0);
@ -91,9 +93,12 @@ function _scrolledWindowControl(parentContainer, data, builder) {
// keep content at the same place on the screen
var scrollTop = scrollwindow.scrollTop;
var scrollLeft = scrollwindow.scrollLeft;
content.style.margin = scrollTop + 'px ' + margin + 'px ' + margin + 'px ' + scrollLeft + 'px';
content.style.height = (realContentHeight - scrollTop + verticalSteps) + 'px';
content.style.width = (realContentWidth - scrollLeft + horizontalSteps) + 'px';
if (data.user_managed_scrolling !== false) {
content.style.margin = scrollTop + 'px ' + margin + 'px ' + margin + 'px ' + scrollLeft + 'px';
content.style.height = (realContentHeight - scrollTop + verticalSteps) + 'px';
content.style.width = (realContentWidth - scrollLeft + horizontalSteps) + 'px';
}
if (sendTimer)
clearTimeout(sendTimer);