|
bg
|
Add option to play audio automatically
|
2017-12-16 19:56:53 +01:00 |
|
fg
|
Catch exceptions thrown by range.getClientRects()
|
2018-12-10 17:09:06 -05:00 |
|
mixed
|
Add option to play audio automatically
|
2017-12-16 19:56:53 +01:00 |
|
manifest.json
|
Use "options_ui" in manifest
|
2018-12-10 17:23:53 -05:00 |
