This repository has been archived on 2026-08-23. You can view files and clone it. You cannot open issues or pull requests or push a commit.
Files
pi-web/.changeset/pwa-refresh-menu.md
T

112 B

@jmfederico/pi-web
@jmfederico/pi-web
patch

Keep the PWA refresh control menu visible above the mobile tab navigation.