Code

Improve type search#641

Code

Open

wbazant wants to merge 2 commits intofalling-fruit:mainfalling-fruit/falling-fruit-web:mainfrom wbazant:issue-635wbazant/falling-fruit-web:issue-635Copy head branch name to clipboard

+59-16

Commits

Commits on Dec 14, 2024

• Display synonyms when selecting type

  wbazant

  committed
  6c187e5

• Match search terms from token start

  wbazant

  committed
  78937de