GitHub Search Tool
Instant access to the GitHub search bar
Apa itu GitHub Search Tool?
GitHub Search Tool adalah ekstensi Chrome yang dikembangkan oleh Paweł Urbanek, dan fitur utamanya adalah "Instant access to the GitHub search bar".
Screenshot Ekstensi
Unduh Berkas CRX Ekstensi GitHub Search Tool
Unduh file ekstensi GitHub Search Tool dalam format crx, pasang ekstensi Chrome secara manual di peramban, atau bagikan file crx dengan teman untuk menginstal ekstensi Chrome dengan mudah.
Petunjuk Penggunaan Ekstensi
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. Informasi Dasar Ekstensi
| Nama |  GitHub Search Tool |
| ID | mppgeiejiiffmgmhllepmpjpaaffakpl |
| URL Resmi | https://chromewebstore.google.com/detail/github-search-tool/mppgeiejiiffmgmhllepmpjpaaffakpl |
| Deskripsi | Instant access to the GitHub search bar |
| Ukuran File | 23.06 KB |
| Jumlah Instalasi | 215 |
| Versi Saat Ini | 0.2.2 |
| Terakhir Diperbarui | 2013-12-02 |
| Tanggal Publikasi | 2013-12-02 |
| Penilaian | 5.00/5 Total 1 Penilaian |
| Pengembang | Paweł Urbanek |
| [email protected] | |
| Tipe Pembayaran | free |
| Situs Ekstensi | https://github.com/pawurb/GitHubSimpleSearch |
| Bahasa yang Didukung | 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
} | |
