tophf 0c3b3a1631 remove border from filter selector & generalize CSS		2017-11-24 13:19:14 +03:00
..
config-dialog.js	Fix: el -> elements	2017-11-09 09:12:16 +08:00
fileSaveLoad.js	code cosmetics (copypasting from MDN was a bad idea)	2017-10-14 04:34:25 +03:00
filters.js	globally disable CSS transitions for a moment during page opening	2017-09-03 19:43:37 +03:00
manage.css	remove border from filter selector & generalize CSS	2017-11-24 13:19:14 +03:00
manage.js	add "[x] only Usercss" filter in the manager	2017-11-24 13:19:12 +03:00
object-diff.js	code cosmetics: split manage.js	2017-08-16 08:18:23 +03:00
updater-ui.js	Revert: isSame/isEdited util	2017-11-09 14:11:25 +08:00