manifest.json


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
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"
  ]
}