eight 29b8f51292 Fix: vars could be undefined		2018-09-25 23:21:44 +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	autosize filters only if the width > 0	2018-07-07 20:47:00 +03: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: vars could be undefined	2018-09-25 23:21:44 +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