gpkvt e80a9b89c9 Improved shortcut handling		2023-06-04 22:08:01 +02:00
..
autoReload.js	Added keyboard shortcuts	2023-06-04 21:13:12 +02:00
shortcut.js	Improved shortcut handling	2023-06-04 22:08:01 +02:00
toggle.js	Fixed formatting	2023-06-04 01:26:41 +02:00