diff options
| author | terru | 2026-06-15 23:57:03 +0200 |
|---|---|---|
| committer | terru | 2026-06-16 12:00:46 +0200 |
| commit | 7dba866d6a42bafb39455d853ac6672cc91e0132 (patch) | |
| tree | dd78586a4f006e0045c978a7d0172adf8b2919d3 /manifest.json | |
simple clobbered-together implementation
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" + ] +} |
