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('