diff --git a/internal/server/index.html b/internal/server/index.html
index 5aae67e..fa8cb00 100644
--- a/internal/server/index.html
+++ b/internal/server/index.html
@@ -227,6 +227,7 @@
Keyboard shortcuts
b - bury (or unbury) PR, pushing the PR down to the latest prio available
enter - open focused PR in Github, in a new window
shift + enter - open all PRs in Github, in new windows (might trigger a browser warning)
+ r - trigger a refresh
? - show this dialog
esc - hide this dialog
@@ -269,8 +270,9 @@ Keyboard shortcuts
dialog.showModal();
});
+ const refreshElement = document.querySelector("a.refresh");
let isRefreshing = false;
- document.querySelector("a.refresh").addEventListener("click", (e) => {
+ refreshElement.addEventListener("click", (e) => {
if (!isRefreshing) {
isRefreshing = true;
fetch(e.currentTarget.href, {method: 'POST'}).then((response) => {
@@ -346,6 +348,8 @@ Keyboard shortcuts
const buryUrl = prs[activePr].querySelector("a.bury").href;
bury(buryUrl);
e.preventDefault();
+ } else if (e.key === "r") {
+ refreshElement.click();
} else if (e.key === "?") {
dialog.showModal();
} else if (e.key === "Enter") {