 Gildas
|
a3532f17b3
fixed typo
|
vor 6 Jahren |
|
Gildas
|
9b19edd5e5
added support of wildcard
|
vor 6 Jahren |
|
Gildas
|
bcedf9e21f
always refresh checkboxes
|
vor 6 Jahren |
|
Gildas
|
bdde1c1964
removed obsolete code
|
vor 6 Jahren |
|
Gildas
|
82d01246fa
fixed handling of contextMenuEnabled when switching profiles
|
vor 6 Jahren |
|
Gildas
|
cca1d16a45
hide "save selection" when 'save raw page" is enabled (cf. #226)
|
vor 6 Jahren |
|
Gildas
|
f002f61e96
fixed retrieval of options
|
vor 6 Jahren |
|
Gildas
|
5166ccbc6b
don't display "save selection" entry in the tab and browser action menus
|
vor 6 Jahren |
|
Gildas
|
9235f8c063
display "save page" entry in the tab menu
|
vor 6 Jahren |
|
Gildas
|
80adb9a78b
don't display "save selection" entry in the tab and browser action menus
|
vor 6 Jahren |
|
Gildas
|
1f61985943
renamed bg.menu to bg.menus
|
vor 6 Jahren |
