tophf ae9d33cf37 use the much shorter "Reset" label in config dialog 8 tahun lalu
..
config-dialog.css 2deffbc622 show "x" to reset non-default values in usercss config individually 8 tahun lalu
config-dialog.js ae9d33cf37 use the much shorter "Reset" label in config dialog 8 tahun lalu
filters.js 03b6f6c263 manage: search regexps, add search help, fix favicons toggle icon 8 tahun lalu
import-export.js 119a3803ec realign #only-updates filter and rename as it's not linked to prefs 8 tahun lalu
incremental-search.js b96cee1012 use Event#key for hotkey recognition in manager and popup 8 tahun lalu
manage.css ce47e69b8a Custom UI elements (#291) 8 tahun lalu
manage.js 1c68ac1a3a initialize editor page fully in First Meaningful Paint frame 8 tahun lalu
object-diff.js f80f5612d6 code cosmetics: split manage.js 8 tahun lalu
updater-ui.js 119a3803ec realign #only-updates filter and rename as it's not linked to prefs 8 tahun lalu