Alex Gu f06501d631 Shortcuts no longer changes browser behavior. ... Now need to use Ctrl+Alt+Up/Left/Right instead if browser uses Alt+Up/Left/Right. (If browser don't use Alt+Up/Left/Right, it is still used for switch hyphae)		2021-06-13 23:03:45 +03:00
..
icon	Shortcuts reference	2021-06-13 23:15:45 +07:00
default.css	Add dark theme to the shortcuts pop up	2021-06-13 23:39:27 +05:00
shortcuts.js	Shortcuts no longer changes browser behavior.	2021-06-13 23:03:45 +03:00
static.go	Remove extraneous logging	2021-06-12 22:04:30 +07:00
toolbar.js	New static files system	2021-06-12 20:58:04 +07:00