From 1dcc839bab6f6583d3f1b539be137dd87bc9bf23 Mon Sep 17 00:00:00 2001 From: Elian Doran Date: Tue, 7 Jan 2025 12:38:50 +0200 Subject: [PATCH] feat(highlights): ignore footnotes --- src/public/app/widgets/highlights_list.ts | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/src/public/app/widgets/highlights_list.ts b/src/public/app/widgets/highlights_list.ts index 8729f7305..589d54682 100644 --- a/src/public/app/widgets/highlights_list.ts +++ b/src/public/app/widgets/highlights_list.ts @@ -247,6 +247,13 @@ export default class HighlightsListWidget extends RightPanelWidget { const subHtml = match[0]; const startIndex = match.index; const endIndex = combinedRegex.lastIndex; + + // Ignore footnotes. + if (subHtml.startsWith('