 Gildas
|
65eb9838af
used constants to store localized strings
|
hace 7 años |
|
Gildas
|
0d93519947
bump version
|
hace 7 años |
|
Gildas
|
f5026daffc
make sure teh parent node exists when calling Element#remove
|
hace 7 años |
|
Gildas
|
00eb270e43
always inject module scripts
|
hace 7 años |
|
Gildas
|
d8bf9503a3
removed debugger
|
hace 7 años |
|
Gildas
|
34eab8b703
added mapping of "bolder" and "lighter" values
|
hace 7 años |
|
Gildas
|
a0c024974f
minor fixes
|
hace 7 años |
|
Gildas
|
3170b6386d
removed code
|
hace 7 años |
|
Gildas
|
e97bdc5994
added bookmarklet for displaying infobar
|
hace 7 años |
|
Gildas
|
149bb25a57
bump version
|
hace 7 años |
|
Gildas
|
9f6ae722e8
fixed typo
|
hace 7 años |
|
Gildas
|
0c94592a65
bump version
|
hace 7 años |
|
Gildas
|
2b011b28da
updated examples
|
hace 7 años |
|
Gildas
|
3bd45a84c2
allows path to a file instead of a file: URI
|
hace 7 años |
|
Gildas
|
9d5361484d
fixed horizontal centering of the content
|
hace 7 años |
|
Gildas
|
0397ceea86
comestic changes in the options page when displayed in a tab
|
hace 7 años |
|
Gildas
|
e1428ad840
block indexedDB while loading deferred contents
|
hace 7 años |
|
Gildas
|
242584b24c
block page refresh while loading deferred contents
|
hace 7 años |
|
Gildas
|
a201790c76
minor refactoring
|
hace 7 años |
|
Gildas
|
4ca352419a
bump version
|
hace 7 años |
|
Gildas
|
64314955cf
added shortcut for ChromeOS
|
hace 7 años |
|
Gildas
|
3ce1da40d7
bump version
|
hace 7 años |
|
Gildas
|
efdff9b5c2
added missing options
|
hace 7 años |
|
Gildas
|
b338a37a5d
use Map#size to get the size of the Map
|
hace 7 años |
|
Gildas
|
34a0f33ea1
refactored code
|
hace 7 años |
|
Gildas
|
a776ecd6f7
bump version
|
hace 7 años |
|
Gildas
|
5163cd0a42
allow embedding pdf files
|
hace 7 años |
|
Gildas
|
eb10d01854
don't test if resource URL is the same than page URL or base URI (cf #159)
|
hace 7 años |
|
Gildas
|
f38569a947
bump version
|
hace 7 años |
|
Gildas
|
feb0a69500
fixed disabled inputs when save raw page is enabled
|
hace 7 años |
