ponder.ooo
馃悕馃悕馃悕
1"use strict";
2document.body.addEventListener('keydown', (event) => {
3 if (event.key === 'R' && event.ctrlKey) {
4 event.preventDefault();
5 fetch('/cmd_build', { method: 'GET' })
6 .then(response => response.text())
7 .then(text => {
8 if (text === 'success') {
9 setTimeout(() => location.reload(), 500);
10 return;
11 }
12 console.warn('failed build');
13 })
14 .catch(error => {
15 console.error(error);
16 });
17 return;
18 }
19 if ((event.key === 'r' && event.ctrlKey) || event.key === 'F5') {
20 event.preventDefault();
21 return;
22 }
23 if (event.key === 'l' && event.ctrlKey) {
24 event.preventDefault();
25 userPreferences.toggleLoadButton();
26 return;
27 }
28});