Repository navigation

move page headers into the desktop app's title bar - #225

Merged

hkonsti merged 2 commits into

mainfrom

hkonsti/general-topbar-removal

Nov 7, 2026

Merged

move page headers into the desktop app's title bar#225
hkonsti merged 2 commits into
mainfrom
hkonsti/general-topbar-removal

Commits on Nov 7, 2026
- move page headers into the desktop app's title bar, with add buttons beside back and forward
  hkonsti
  committed
  682ddba
- let the home page's stale-answer test accept the pause's extra request on a slow runner
  hkonsti
  committed
  42594d5