Skip to content

Conversation

mjbvz
Copy link
Collaborator

@mjbvz mjbvz commented Mar 2, 2023

For #175938

@mjbvz mjbvz self-assigned this Mar 2, 2023
@mjbvz mjbvz force-pushed the substantial-basilisk branch from 22751f6 to 1fcd24a Compare April 2, 2025 17:05
@@ -93,48 +105,80 @@ export class HighlightedLabel extends Disposable {
this.render();
}

private renderedText?: string;
private currentHighlightRanges: StaticRange[] = [];
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Is this variable redundant with labelHighlights? If it contains the exact same set of ranges, then you could get rid of this variable and then clearHighlights() can be just defined as labelHighlights.clear()

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants