GitHub Search Tool
Instant access to the GitHub search bar
What is GitHub Search Tool?
GitHub Search Tool is a Chrome extension developed by Paweł Urbanek, and its main feature is "Instant access to the GitHub search bar".
Extension Screenshots
Download GitHub Search Tool Extension CRX File
Download GitHub Search Tool extension files in crx format, manually install Chrome extensions in the browser, or share the crx files with friends to easily install Chrome extensions.
Extension Usage Instructions
Extension provides access to the GitHub search bar.
Click the icon or press CTRL(CMD)+SHIFT+F to show the search bar. Type in the search phrase and press ENTER.
Results will display in the current tab.
If you have already a binding for the default shortcut, extension will NOT overwrite it. You can set your own in Chrome settings. Extension Basic Information
| Name |  GitHub Search Tool |
| ID | mppgeiejiiffmgmhllepmpjpaaffakpl |
| Official URL | https://chromewebstore.google.com/detail/github-search-tool/mppgeiejiiffmgmhllepmpjpaaffakpl |
| Description | Instant access to the GitHub search bar |
| File Size | 23.06 KB |
| Installation Count | 215 |
| Current Version | 0.2.2 |
| Last Updated | 2013-12-02 |
| Publish Date | 2013-12-02 |
| Rating | 5.00/5 Total 1 Ratings |
| Developer | Paweł Urbanek |
| [email protected] | |
| Payment Type | free |
| Extension Website | https://github.com/pawurb/GitHubSimpleSearch |
| Supported Languages | en |
| manifest.json | |
{
"update_url": "https:\/\/clients2.google.com\/service\/update2\/crx",
"name": "GitHub Search Tool",
"description": "Instant access to the GitHub search bar",
"version": "0.2.2",
"browser_action": {
"default_title": "GitHub Simple Search",
"default_popup": "search_bar.html",
"default_icon": "images\/popup-icon.png"
},
"icons": {
"128": "images\/128-icon.png"
},
"commands": {
"_execute_browser_action": {
"suggested_key": {
"default": "Ctrl+Shift+F",
"mac": "MacCtrl+Shift+F"
}
}
},
"manifest_version": 2
} | |
