Skip to content

Add jumplist support for the search (closes #1625)#1718

Merged
archseer merged 1 commit intohelix-editor:masterfrom Philipp-M:search-jumplistMar 1, 2022

Commits

Commits on Mar 1, 2022