diff options
Diffstat (limited to 'manifest.json')
| -rw-r--r-- | manifest.json | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/manifest.json b/manifest.json new file mode 100644 index 0000000..dd6e7dd --- /dev/null +++ b/manifest.json @@ -0,0 +1,24 @@ +{ + "manifest_version": 2, + "version": "0.1", + "author": "terru", + "name": "Isabelle markup expander", + "description": "Parse Isabelle escape codes and replace them by unicode representation", + "browser_specific_settings": { + "gecko": { + "id": "messageDisplayScript@mv2.sample.extensions.thunderbird.net" + } + }, + "background": { + "page": "src/background.html" + }, + "message_display_action": { + "default_title": "Isabelle", + "default_icon": "isabelle_new_embed.svg" + }, + "permissions": [ + "messagesUpdate", + "messagesModify", + "messagesRead" + ] +} |
