89431615b3
* switch to a user-resizable palette * allow moving * remove hideDelay |
||
---|---|---|
.. | ||
config-dialog.css | ||
config-dialog.js | ||
filters.js | ||
import-export.js | ||
incremental-search.js | ||
manage.css | ||
manage.js | ||
object-diff.js | ||
sort.js | ||
updater-ui.js |