summaryrefslogtreecommitdiff
path: root/manifest.json
diff options
context:
space:
mode:
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"
+ ]
+}