narcolepticinsomniac 82e45460fa Remove obsolete selector which hid filters when lowest max-width media-screen kicked in		2017-12-05 08:41:05 -05:00
..
config-dialog.js	extract checkboxes to global.css, fixes	2017-12-05 04:39:29 +03: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	Remove obsolete selector which hid filters when lowest max-width media-screen kicked in	2017-12-05 08:41:05 -05: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