oobabooga 8d0359a6d8 Rename some CSS variables		2023-12-25 14:10:07 -08:00
..
main.js	Rename some CSS variables	2023-12-25 14:10:07 -08:00
save_files.js	Lint the javascript code	2023-10-07 19:07:57 -07:00
show_controls.js	Fix extra space after 18ca35faaa	2023-12-25 08:38:17 -08:00
switch_tabs.js	Lint the javascript code	2023-10-07 19:07:57 -07:00
update_big_picture.js	New feature: enlarge character pictures on click (#4654)	2023-11-19 02:05:17 -03:00