Skip to content

- options for Semantic highlighting added. Dict pairs highlighting ad…#138

Merged
smklimenko merged 1 commit intomainfrom
dict_highlighting
Jan 19, 2026
Merged

- options for Semantic highlighting added. Dict pairs highlighting ad…#138
smklimenko merged 1 commit intomainfrom
dict_highlighting

Conversation

@smklimenko
Copy link
Contributor

…ded.

@smklimenko smklimenko merged commit c8d597c into main Jan 19, 2026
2 checks passed
@smklimenko smklimenko deleted the dict_highlighting branch January 19, 2026 12:07
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.

1 participant