Skip to content

Fix search.highlight feature when loading from file:// URL#180

Merged
jbms merged 1 commit intomainfrom fix-search-highlightNov 1, 2022

Commits

Commits on Oct 30, 2022