Search modal
...

New in version 2.2.0

If you have the Quick Preview plugin installed, holding down Alt/Option (by default) will trigger a quick preview of the selected suggestion with the context around it.

Run the Search command to open a search modal.

This is similar to Custom link autocomplete, but available as a search modal like Quick Switcher along with further search control functionalities.

Search modal can be controled by keyboard alone without mouse

Use the Tab/Shift+Tab to move back and forth between the search window and two drop-down menus (Query type & Search range).

Also, you can use Shift+ArrowUp/Shift+ArrowDown to move around in each dropdown menu.

Query type
...

Choose among:

  • search both theorems & equations
  • search theorem callouts only
  • search equations only

Search range
...

Specify the range of files to be searched. Available options are:

  • Vault: the entire vault
  • Recent notes: recently opened notes
  • Active note: the note currently edited
  • Dataview query: filter notes by powerful Dataview queries. Only available if Dataview is enabled.

Dataview queries
...

Although most parts of this plugin don't require Dataview, I recommend installing it together with this plugin because it brings a tremendous filtering capability to this theorem & equation searching functionality.

Note that only LIST queries without GROUP BY are supported.

Example
  • Filtering by a folder
    LIST FROM "Papers"
    
  • Filtering by a tag
    LIST FROM #statistics
    
  • Filtering by dates
    LIST WHERE file.cday >= date("2023-11-01")