From 59c617a7a7740f78951e8ae6b6202c8bbe706427 Mon Sep 17 00:00:00 2001 From: LenAnderson Date: Tue, 23 Jul 2024 20:28:56 -0400 Subject: [PATCH] adjust debugger highlights for scroll position --- public/scripts/extensions/quick-reply/src/QuickReply.js | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/public/scripts/extensions/quick-reply/src/QuickReply.js b/public/scripts/extensions/quick-reply/src/QuickReply.js index afa45dfc3..80242b086 100644 --- a/public/scripts/extensions/quick-reply/src/QuickReply.js +++ b/public/scripts/extensions/quick-reply/src/QuickReply.js @@ -1483,7 +1483,7 @@ export class QuickReply { hi.classList.add('qr--highlight-secondary'); hi.style.left = `${loc.left - layer.left}px`; hi.style.width = `${loc.right - loc.left}px`; - hi.style.top = `${loc.top - layer.top}px`; + hi.style.top = `${loc.top - layer.top + syntax.scrollTop}px`; hi.style.height = `${loc.bottom - loc.top}px`; syntax.append(hi); }); @@ -1623,7 +1623,7 @@ export class QuickReply { hi.classList.add('qr--highlight-secondary'); hi.style.left = `${loc.left - layer.left}px`; hi.style.width = `${loc.right - loc.left}px`; - hi.style.top = `${loc.top - layer.top}px`; + hi.style.top = `${loc.top - layer.top + syntax.scrollTop}px`; hi.style.height = `${loc.bottom - loc.top}px`; syntax.append(hi); }); @@ -1680,7 +1680,7 @@ export class QuickReply { } hi.style.left = `${loc.left - layer.left}px`; hi.style.width = `${loc.right - loc.left}px`; - hi.style.top = `${loc.top - layer.top}px`; + hi.style.top = `${loc.top - layer.top + syntax.scrollTop}px`; hi.style.height = `${loc.bottom - loc.top}px`; syntax.append(hi); const isStepping = await this.debugController.awaitContinue();