This repository was archived by the owner on Jan 22, 2026. It is now read-only.

Feat/app refresh hotkey#5235

Draft

blockdylanb wants to merge 3 commits into

developmentfrom

feat/app-refresh-hotkey

Commits on Jul 26, 2022

feat(refresh): hijacks refresh keyboard shortcuts to use app refresh instead of the browser refresh
blockdylanb
committed
feat(refresh): clean up
blockdylanb
committed

Commits on Jul 29, 2022

feat(refresh): add progress bar at the top of the page as visual indicator of refreshing
blockdylanb
committed