tophf 38e0937f45 config dialog tweaks ... * same icon in manager (didn't change the editor config icons as those aren't for usercss) * "external" icon for USO styles to avoid confusion (opening a tab is an extremely different action) * smaller paddings in popup * removed hover effect on label text (necause native <select> elements cannot be expanded from js) * various fixups		2017-12-07 01:07:55 +03:00
..
config-dialog.css	config dialog tweaks	2017-12-07 01:07:55 +03:00
config-dialog.js	config dialog tweaks	2017-12-07 01:07:55 +03:00
filters.js	manage: search regexps, add search help, fix favicons toggle icon	2017-12-06 09:39:45 +03:00
import-export.js	import usercss files drag'n'dropped into the manage page	2017-12-06 11:03:43 +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	config dialog tweaks	2017-12-07 01:07:55 +03:00
manage.js	manage: search regexps, add search help, fix favicons toggle icon	2017-12-06 09:39:45 +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