|
|
@@ -924,8 +924,6 @@ export default function Page() {
|
|
|
sync.session.diff(id)
|
|
|
})
|
|
|
|
|
|
- const isWorking = createMemo(() => status().type !== "idle")
|
|
|
-
|
|
|
const autoScroll = createAutoScroll({
|
|
|
working: () => true,
|
|
|
overflowAnchor: "dynamic",
|
|
|
@@ -948,18 +946,6 @@ export default function Page() {
|
|
|
),
|
|
|
)
|
|
|
|
|
|
- createEffect(
|
|
|
- on(
|
|
|
- isWorking,
|
|
|
- (working, prev) => {
|
|
|
- if (!working || prev) return
|
|
|
- if (autoScroll.userScrolled()) return
|
|
|
- autoScroll.forceScrollToBottom()
|
|
|
- },
|
|
|
- { defer: true },
|
|
|
- ),
|
|
|
- )
|
|
|
-
|
|
|
let scrollSpyFrame: number | undefined
|
|
|
let scrollSpyTarget: HTMLDivElement | undefined
|
|
|
|
|
|
@@ -1415,7 +1401,7 @@ export default function Page() {
|
|
|
}}
|
|
|
onScroll={(e) => {
|
|
|
if (!hasScrollGesture()) return
|
|
|
- setScrollGesture(Date.now())
|
|
|
+ markScrollGesture(e.target)
|
|
|
autoScroll.handleScroll()
|
|
|
if (isDesktop() && autoScroll.userScrolled()) scheduleScrollSpy(e.currentTarget)
|
|
|
}}
|