GitHub Search Tool
Instant access to the GitHub search bar
Wat is GitHub Search Tool?
GitHub Search Tool is een Chrome-extensie ontwikkeld door Paweł Urbanek, en de belangrijkste functie is "Instant access to the GitHub search bar".
Extensie Screenshots
Download het CRX-bestand van de extensie GitHub Search Tool
Download GitHub Search Tool-extensiebestanden in crx-indeling, installeer Chrome-extensies handmatig in de browser of deel de crx-bestanden met vrienden om Chrome-extensies eenvoudig te installeren.
Instructies voor het Gebruik van de Extensie
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.
Basisinformatie over de Extensie
Naam | GitHub Search Tool |
ID | mppgeiejiiffmgmhllepmpjpaaffakpl |
Officiële URL | https://chromewebstore.google.com/detail/github-search-tool/mppgeiejiiffmgmhllepmpjpaaffakpl |
Beschrijving | Instant access to the GitHub search bar |
Bestandsgrootte | 23.06 KB |
Aantal Installaties | 215 |
Huidige Versie | 0.2.2 |
Laatst Bijgewerkt | 2013-12-02 |
Publicatiedatum | 2013-12-02 |
Beoordeling | 5.00/5 Totaal 1 Beoordelingen |
Ontwikkelaar | Paweł Urbanek |
[email protected] | |
Betalingswijze | free |
Extensiewebsite | https://github.com/pawurb/GitHubSimpleSearch |
Ondersteunde Talen | 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 } |