tim h 3062766c13 right-click erase is now an option		2022-11-20 17:31:51 -03:00
..
commands.js	simple command pattern and edit history	2022-11-20 14:59:11 -03:00
index.js	right-click erase is now an option	2022-11-20 17:31:51 -03:00
settingsbar.js	New draggable settings panel	2022-11-19 23:48:12 +02:00