 Gildas
|
d8bf9503a3
removed debugger
|
vor 7 Jahren |
|
Gildas
|
34eab8b703
added mapping of "bolder" and "lighter" values
|
vor 7 Jahren |
|
Gildas
|
a0c024974f
minor fixes
|
vor 7 Jahren |
|
Gildas
|
3170b6386d
removed code
|
vor 7 Jahren |
|
Gildas
|
e97bdc5994
added bookmarklet for displaying infobar
|
vor 7 Jahren |
|
Gildas
|
149bb25a57
bump version
|
vor 7 Jahren |
|
Gildas
|
9f6ae722e8
fixed typo
|
vor 7 Jahren |
|
Gildas
|
0c94592a65
bump version
|
vor 7 Jahren |
|
Gildas
|
2b011b28da
updated examples
|
vor 7 Jahren |
|
Gildas
|
3bd45a84c2
allows path to a file instead of a file: URI
|
vor 7 Jahren |
|
Gildas
|
9d5361484d
fixed horizontal centering of the content
|
vor 7 Jahren |
|
Gildas
|
0397ceea86
comestic changes in the options page when displayed in a tab
|
vor 7 Jahren |
|
Gildas
|
e1428ad840
block indexedDB while loading deferred contents
|
vor 7 Jahren |
|
Gildas
|
242584b24c
block page refresh while loading deferred contents
|
vor 7 Jahren |
|
Gildas
|
a201790c76
minor refactoring
|
vor 7 Jahren |
|
Gildas
|
4ca352419a
bump version
|
vor 7 Jahren |
|
Gildas
|
64314955cf
added shortcut for ChromeOS
|
vor 7 Jahren |
|
Gildas
|
3ce1da40d7
bump version
|
vor 7 Jahren |
|
Gildas
|
efdff9b5c2
added missing options
|
vor 7 Jahren |
|
Gildas
|
b338a37a5d
use Map#size to get the size of the Map
|
vor 7 Jahren |
|
Gildas
|
34a0f33ea1
refactored code
|
vor 7 Jahren |
|
Gildas
|
a776ecd6f7
bump version
|
vor 7 Jahren |
|
Gildas
|
5163cd0a42
allow embedding pdf files
|
vor 7 Jahren |
|
Gildas
|
eb10d01854
don't test if resource URL is the same than page URL or base URI (cf #159)
|
vor 7 Jahren |
|
Gildas
|
f38569a947
bump version
|
vor 7 Jahren |
|
Gildas
|
feb0a69500
fixed disabled inputs when save raw page is enabled
|
vor 7 Jahren |
|
Gildas
|
c38793e0b7
fixed issue #158
|
vor 7 Jahren |
|
Gildas
|
023d6ca3a6
fixed issue #157
|
vor 7 Jahren |
|
Gildas
|
c7f132568e
bump version
|
vor 7 Jahren |
|
Gildas
|
99dfbc1d4a
larger progress bar
|
vor 7 Jahren |
