Sign in

Search issue titles and bodies, change requests and comments. Private repositories you cannot read are not included.

vole
Clone

Read only, no credentials:

https://rodent.software/vole.git

Write over SSH with a registered key:

git clone ssh://git@rodent.software:2222/vole.git

A free and open-source forge that lives in your Git repo.

#136

Search every issue, change and comment from the top bar

merged · by keenan 9d ago · merged into main at 1265ea55 by keenan 9d ago

keenan opened this 9d ago

What

The top bar’s search is now a launcher for a command palette over issues, change requests and comments. The dialog asks the same index and visibility rule as /search: it returns a short ranked list with snippets and a link to the full result page, and it never shows a private repository the viewer cannot read. Arrow keys move, Enter opens, Esc closes, and the launcher names the platform’s shortcut (Ctrl K or ⌘K).

The global bar’s contents also line up with the page content now, and Home is marked current only on the landing page instead of on every repository page.

Why

The old field submitted a repository search from the home page only. There was no way to reach an issue, change request or comment from an arbitrary page without going back to /search, and the bar still looked editable after that stopped being its job.

Notes

  • The launcher is a button styled like the old field, so the bar does not look like a text input when it is not one.
  • The palette fragment is only served to HTMX requests; a direct visit to /search/palette redirects to /search with the same query.
  • Tests cover the fragment, private-repository filtering, the shell wiring, the shortcut marker, and the Home section rule.
  • vole workflow check and vole workflow run verify pass locally.

Discussion (1)

keenan 9d ago

Follow-up in 1265ea5: the full /search page and the top bar’s Search destination are gone. The palette is now the only search surface; it shows up to 30 matches, says when a query found more, and a direct visit to /search/palette redirects home. This supersedes the link to a full result page mentioned above.