Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Label coloring #51

Merged
merged 4 commits into from
Jul 15, 2024
Merged

Label coloring #51

merged 4 commits into from
Jul 15, 2024

Conversation

privat
Copy link
Collaborator

@privat privat commented Jul 11, 2024

This is an alternative implementation of #35

Instead of rescaning the document on each markTokensImpl, a special update method is called on each document modification.

The KeywordMap class is also extended to handle the clearing of all keywords.

@privat privat merged commit 2cc1b1b into master Jul 15, 2024
2 checks passed
@privat privat mentioned this pull request Jul 16, 2024
@privat privat deleted the label_coloring branch July 31, 2024 17:05
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