eight 181d9206d9 Fix: hide colorpicker on mousedown		2017-12-06 03:11:23 +08:00
..
config-dialog.css	Refactor: pull out config-dialog.css	2017-12-05 12:54:55 +08:00
config-dialog.js	Fix: hide colorpicker on mousedown	2017-12-06 03:11:23 +08:00
filters.js	fix the note for good, hopefully	2017-12-04 21:14:31 +03:00
import-export.js	add a terse invocation syntax for $element and rename it to $create	2017-12-04 08:57:12 +03:00
incremental-search.js	add a terse invocation syntax for $element and rename it to $create	2017-12-04 08:57:12 +03:00
manage.css	Refactor: pull out config-dialog.css	2017-12-05 12:54:55 +08:00
manage.js	manage: inform when hiding all styles due to active filters	2017-12-04 10:31:28 +03:00
object-diff.js	code cosmetics: split manage.js	2017-08-16 08:18:23 +03:00
updater-ui.js	fix usercss updater: skip if code hasn't changed	2017-12-04 10:28:24 +03:00