Skip to content

web: Add search field on narrow screens#642

Open
jajaperson wants to merge 3 commits into
the1lab:mainfrom
jajaperson:mobile-alt
Open

web: Add search field on narrow screens#642
jajaperson wants to merge 3 commits into
the1lab:mainfrom
jajaperson:mobile-alt

Conversation

@jajaperson

@jajaperson jajaperson commented Jul 3, 2026

Copy link
Copy Markdown
Contributor

Description

An alternative to #640 which closes #426.

This also hides all the search fields when js is disabled (since they didn't do anything anyway), and replaces "back to index" on narrow screens with a search box when js is enabled.

Checklist

Before submitting a merge request, please check the items below:

  • I've read the contributing guidelines.
  • The imports of new modules have been sorted with support/sort-imports.hs (or nix run --experimental-features nix-command -f . sort-imports).
  • All new code blocks have "agda" as their language.

If your change affects many files without adding substantial content, and
you don't want your name to appear on those pages (for example, treewide
refactorings or reformattings), start the commit message and PR title with chore:.

@Lavenza

Lavenza commented Jul 3, 2026

Copy link
Copy Markdown
Member

Pull request preview

Cf. the1lab#640. Closes the1lab#426.

This also hides all the search fields when js is disabled (since they
didn't do anything anyway), and replaces "back to index" on narrow
screens with a search box when js is enabled.
ncfavier
ncfavier previously approved these changes Jul 3, 2026
@plt-amy

plt-amy commented Jul 3, 2026

Copy link
Copy Markdown
Member
Screenshot_20260703_095452_Firefox

that's a pretty tall forehead on my android phone running firefox 152

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Enable search on mobile

4 participants