Bookmarklet IDE

Bookmarklet IDE

An IDE used for creating / managing bookmarklets

Merlin
Additional files are visible only to premium users

manifest.json


{
  "update_url": "https://clients2.google.com/service/update2/crx",
  "name": "Bookmarklet IDE",
  "short_name": "IDE for Bookmarklets",
  "description": "An IDE used for creating / managing bookmarklets",
  "author": "ddavison",
  "homepage_url": "https://github.com/ddavison/chrome-bookmarklet-ide",
  "version": "1.4.1",
  "manifest_version": 2,
  "browser_action": {
    "default_title": "Bookmarklet IDE",
    "default_popup": "popup.html",
    "default_icon": {
      "16": "assets/images/ide-logo-16.png",
      "24": "assets/images/ide-logo-24.png",
      "48": "assets/images/ide-logo-32.png",
      "128": "assets/images/ide-logo-128.png",
      "512": "assets/images/ide-logo-512.png"
    }
  },
  "background": {
    "scripts": [
      "assets/js/constant.js"
    ]
  },
  "options_ui": {
    "chrome_style": true,
    "page": "options.html"
  },
  "offline_enabled": true,
  "permissions": [
    "bookmarks",
    "storage",
    "contextMenus"
  ],
  "icons": {
    "16": "assets/images/ide-logo-16.png",
    "24": "assets/images/ide-logo-24.png",
    "48": "assets/images/ide-logo-32.png",
    "128": "assets/images/ide-logo-128.png",
    "512": "assets/images/ide-logo-512.png"
  }
}