PapaTab
A browser extension for better management of tabs, especially for users who like to have many tabs open (like my dad).
Additional files are visible only to premium users
manifest.json
{
"update_url": "https://clients2.google.com/service/update2/crx",
"manifest_version": 2,
"name": "__MSG_appName__",
"description": "__MSG_appDesc__",
"version": "0.2.2",
"default_locale": "en",
"background": {
"scripts": [
"js/browser-polyfill.js",
"js/dexie.js",
"js/papatabs.js",
"js/background.js"
]
},
"icons": {
"16": "./icon16.png",
"64": "./icon64.png",
"128": "./icon128.png"
},
"browser_action": {
"default_title": "Open Papatab overview"
},
"commands": {
"_execute_browser_action": {
"suggested_key": {
"default": "Ctrl+Shift+Home"
}
},
"switch-next-window": {
"suggested_key": {
"default": "Ctrl+Shift+PageUp"
},
"description": "Switch to the last window."
},
"switch-last-window": {
"suggested_key": {
"default": "Ctrl+Shift+PageDown"
},
"description": "Switch to the next window."
}
},
"optional_permissions": [
"bookmarks",
"contextMenus"
],
"permissions": [
"tabs",
"sessions",
"storage"
],
"minimum_chrome_version": "71"
}