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