Bookmarklet IDE
An IDE used for creating / managing bookmarklets
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"
}
}