Pico-Save highlights
Pico is a Google Chrome extension for saving text highlights in various file formats. Pico adds data from multiple pages and…
Additional files are visible only to premium users
manifest.json
{
"update_url": "https://clients2.google.com/service/update2/crx",
"name": "Pico-Save highlights",
"manifest_version": 2,
"version": "1.0",
"permissions": [
"tabs",
"storage",
"unlimitedStorage"
],
"content_scripts": [
{
"matches": [
"<all_urls>"
],
"js": [
"src/data.js",
"src/content.js",
"src/helper.js",
"src/constant.js"
]
}
],
"background": {
"scripts": [
"src/background.js"
]
},
"icons": {
"128": "images/icon.png"
},
"browser_action": {
"default_icon": {
"16": "images/icon_16.png",
"32": "images/icon_32.png",
"48": "images/icon_48.png",
"128": "images/icon_128.png"
},
"default_popup": "views/popup.html"
},
"commands": {
"add_data": {
"suggested_key": {
"default": "Ctrl+Shift+A",
"mac": "Command+Shift+A"
},
"description": "Add selected text"
},
"download_data": {
"suggested_key": {
"default": "Ctrl+Shift+S",
"mac": "Command+Shift+S"
},
"description": "Download selected text"
},
"clear_data": {
"suggested_key": {
"default": "Ctrl+Shift+X",
"mac": "Command+Shift+X"
},
"description": "Clear selected text"
},
"clear_specific": {
"suggested_key": {
"default": "Ctrl+Shift+Z",
"mac": "Command+Shift+Z"
},
"description": "Undo selected text"
}
}
}