eight 39a6d1909f Fix: prefs doesn't work in FF's private windows. Add web-ext. Drop prefs.readOnlyValues		2018-09-28 00:26:29 +08:00
..
config-dialog.css	Remove unnecessary css	2018-09-24 07:02:04 -05:00
config-dialog.js	Alas, poor clamp! I knew it well	2018-09-24 07:02:04 -05:00
filters.js	Fix: prefs doesn't work in FF's private windows. Add web-ext. Drop prefs.readOnlyValues	2018-09-28 00:26:29 +08:00
import-export.js	rename OK to Close in the import notification	2018-09-04 00:36:56 +03:00
incremental-search.js	disable incremental search when #message-box is shown	2017-12-22 10:53:22 +03:00
manage.css	make the hover effect less CPU-hungry	2018-08-28 20:24:43 +03:00
manage.js	Fix: prefs doesn't work in FF's private windows. Add web-ext. Drop prefs.readOnlyValues	2018-09-28 00:26:29 +08:00
object-diff.js	code cosmetics: split manage.js	2017-08-16 08:18:23 +03:00
sort.js	set even/odd class based on html { --columns: # } variable	2018-05-16 03:53:38 +03:00
updater-ui.js	use the new originalDigest in update UI	2018-08-27 20:39:36 +03:00