GitHub Mention Highlighter
Highlight user and team mentions on GitHub
Cos'è GitHub Mention Highlighter?
GitHub Mention Highlighter è un'estensione di Chrome sviluppata da Ben Balter, e la sua funzione principale è "Highlight user and team mentions on GitHub".
Screenshot dell'Estensione
Scarica il file CRX dell'estensione GitHub Mention Highlighter
Scarica i file di estensione GitHub Mention Highlighter in formato crx, installa manualmente le estensioni di Chrome nel browser o condividi i file crx con gli amici per installare facilmente le estensioni di Chrome.
Istruzioni per l'Uso dell'Estensione
This Chrome extension automatically highlights any time you are mentioned on a GitHub issue or pull request thread by highlighting your username, any team your a member of, and the border of any containing comment.
Informazioni di Base sull'Estensione
Nome | GitHub Mention Highlighter |
ID | ojclbekffnkgbacniibdebdihhgenlkp |
URL Ufficiale | https://chromewebstore.google.com/detail/github-mention-highlighte/ojclbekffnkgbacniibdebdihhgenlkp |
Descrizione | Highlight user and team mentions on GitHub |
Dimensione del File | 201 KB |
Conteggio Installazioni | 278 |
Versione Corrente | 0.2.1 |
Ultimo Aggiornamento | 2020-02-05 |
Data di Pubblicazione | 2020-02-05 |
Valutazione | 5.00/5 Totale 1 Valutazioni |
Sviluppatore | Ben Balter |
Tipo di Pagamento | free |
Sito Web dell'Estensione | https://github.com/benbalter/github-mention-highlighter |
URL della Pagina di Aiuto | https://github.com/benbalter/github-mention-highlighter/issues |
Lingue Supportate | en-US |
manifest.json | |
{ "update_url": "https:\/\/clients2.google.com\/service\/update2\/crx", "name": "GitHub Mention Highlighter", "version": "0.2.1", "description": "Highlight user and team mentions on GitHub", "permissions": [ "https:\/\/github.com\/*", "https:\/\/*.githubapp.com\/*", "https:\/\/mail.google.com\/*", "storage" ], "content_scripts": [ { "matches": [ "https:\/\/github.com\/*", "https:\/\/*.githubapp.com\/*", "https:\/\/mail.google.com\/*" ], "js": [ "vendor\/jquery\/dist\/jquery.js", "dist\/script.js" ], "css": [ "dist\/style.css" ] } ], "icons": { "16": "img\/icon-16.png", "48": "img\/icon-48.png", "128": "img\/icon-128.png" }, "manifest_version": 2, "options_page": "dist\/options.html", "options_ui": { "page": "dist\/options.html", "chrome_style": true } } |