 Gildas
|
668841bd31
added an option to display some stats in the console
|
7 years ago |
|
Gildas
|
f9f809d90c
added infobar
|
7 years ago |
|
Gildas
|
678a7615e9
added options to remove audio & video sources
|
7 years ago |
|
Gildas
|
39d27d9531
redesigned options page
|
7 years ago |
|
Gildas
|
03ae94249a
separated compress CSS and compress HTML options
|
7 years ago |
|
Gildas
|
6a05b3e061
use Promise-oriented APIs
|
7 years ago |
|
Gildas
|
90a5deb8d9
merged compress CSS and HTML options
|
7 years ago |
|
Gildas
|
f1e35d7774
added an option to enter the file name before saving the page
|
7 years ago |
|
Gildas
|
02077f60d2
use async/await
|
7 years ago |
|
Gildas
|
d1c5865d1f
make sure the pending save is ended before a new save
|
7 years ago |
|
Gildas
|
5ec67f9902
fixed "remove hidden elements" option
|
7 years ago |
|
Gildas
|
a4fc395bd9
added an option to disable max size limit
|
7 years ago |
|
Gildas
|
ba613758f0
use browser.storage.local instead of localStorage to save the config
|
7 years ago |
|
Gildas
|
c9aa95e547
added 'maximum size of embedded resource" option
|
7 years ago |
|
Gildas
|
31033af1ee
removed pointless directory
|
7 years ago |
