Issues

Issue #35 open

Search: add priority for headings

Georg Brandl
repo owner created an issue

Since headings are usually better matches.

Comments (3)

  1. Log in to comment