Upstream/waveterm
1
0
Fork 0
mirror of https://github.com/wavetermdev/waveterm.git synced 2025-02-08 00:21:23 +01:00
Code Issues Packages Projects Releases Wiki Activity

pageup/pagedown by page 'size'

Browse Source
This commit is contained in:
sawka 2022-08-29 15:42:50 -07:00
parent b0b6f18cfb
commit c4d45ef344
1 changed files with 18 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
src/main.tsx
View File

@ -44,6 +44,19 @@ function scrollDiv(div : any, amt : number) {
div.scrollTo({top: newScrollTop, behavior: "smooth"});
}
function pageSize(div : any) : number {
if (div == null) {
return 300;
}
let size = div.clientHeight;
if (size > 500) {
size = size - 100;
} else if (size > 200) {
size = size - 30;
}
return size;
}
function interObsCallback(entries) {
let now = Date.now();
entries.forEach((entry) => {
@ -473,8 +486,9 @@ class TextAreaInput extends React.Component<{}, {}> {
e.preventDefault();
let infoScroll = GlobalModel.hasScrollingInfoMsg();
if (infoScroll) {
let div = document.querySelector(".cmd-iinput-info");
scrollDiv(div, (e.code == "PageUp" ? -500 : 500));
let div = document.querySelector(".cmd-input-info");
let amt = pageSize(div);
scrollDiv(div, (e.code == "PageUp" ? -amt : amt));
}
else {
let win = GlobalModel.getActiveWindow();
@ -483,7 +497,8 @@ class TextAreaInput extends React.Component<{}, {}> {
}
let id = windowLinesDOMId(win.windowId);
let div = document.getElementById(id);
scrollDiv(div, (e.code == "PageUp" ? -500 : 500));
let amt = pageSize(div);
scrollDiv(div, (e.code == "PageUp" ? -amt : amt));
}
}
// console.log(e.code, e.keyCode, e.key, event.which, ctrlMod, e);