tophf 7de3e37a51 show "Style installed" in manager for styles added while it's open		2017-12-02 07:07:12 +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
incremental-search.js	fixup 362d9444: autoscroll manage page only during incremental search	2017-11-30 01:13:13 +03:00
manage.css	show "Style installed" in manager for styles added while it's open	2017-12-02 07:07:12 +03:00
manage.js	show "Style installed" in manager for styles added while it's open	2017-12-02 07:07:12 +03:00
object-diff.js	code cosmetics: split manage.js	2017-08-16 08:18:23 +03:00
updater-ui.js	show "Style installed" in manager for styles added while it's open	2017-12-02 07:07:12 +03:00