Gildas ede66962b3 created separated entry for "Fonts" in the options page 7 anni fa
..
autosave.js e7222b3d96 added "Auto-settings rules" in the options page 7 anni fa
config.js ede66962b3 created separated entry for "Fonts" in the options page 7 anni fa
core.js e7222b3d96 added "Auto-settings rules" in the options page 7 anni fa
download.js 812500d5e9 renamed some option keys 7 anni fa
runner.js ede66962b3 created separated entry for "Fonts" in the options page 7 anni fa
tabs-data.js bf4b7ec28e fixed unwanted reset of the selected profile on extension reload 7 anni fa