summaryrefslogtreecommitdiff
path: root/manifest.json
diff options
context:
space:
mode:
authorterru2026-06-15 23:57:03 +0200
committerterru2026-06-16 12:00:46 +0200
commit7dba866d6a42bafb39455d853ac6672cc91e0132 (patch)
treedd78586a4f006e0045c978a7d0172adf8b2919d3 /manifest.json
simple clobbered-together implementation
Diffstat (limited to 'manifest.json')
-rw-r--r--manifest.json24
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"
+ ]
+}