mirror/FreshRSS
0
0
Fork 0
mirror of https://github.com/FreshRSS/FreshRSS.git synced 2026-03-14 12:30:56 -04:00
Code Issues Packages Projects Releases Wiki Activity

Update main.js (#4471)

Browse Source
This commit is contained in:
maTh
2022-07-31 13:26:03 +02:00
committed by GitHub
parent 11d1f653d2
commit c5ff838730
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
p/scripts/main.js
View File

@@ -704,7 +704,8 @@ function onScroll() {
return;
}
if (context.auto_mark_scroll) {
const minTop = 40 + box_to_follow.scrollTop;
const hidden_px = -5; // negative = pixels over the edge
const minTop = hidden_px + box_to_follow.scrollTop;
document.querySelectorAll('.not_read:not(.keep_unread)').forEach(function (div) {
if (div.offsetHeight > 0 &&
div.offsetParent.offsetTop + div.offsetTop + div.offsetHeight < minTop) {