tophf c4690a839f also restore the subdued appearance of "disabled" suffix ... originally it didn't even have a background so even the faint one we had for the last year is borderline acceptable so let's keep it		2017-11-29 17:56:13 +03:00
..
config-dialog.js	Common selector for non-traditional checkbox inputs	2017-11-27 23:10:32 -05:00
filters.js	workaround for URLSearchParams not stripping "?" in chrome 49-51	2017-11-28 22:19:00 +03:00
import-export.js	finally rename the only camelCase-named file	2017-11-26 22:09:01 +03:00
manage.css	also restore the subdued appearance of "disabled" suffix	2017-11-29 17:56:13 +03:00
manage.js	usercss config: skip and warn about mismatching vars on saving	2017-11-27 15:02:10 +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