GitHub Mention Highlighter
Highlight user and team mentions on GitHub
Wat is GitHub Mention Highlighter?
GitHub Mention Highlighter is een Chrome-extensie ontwikkeld door Ben Balter, en de belangrijkste functie is "Highlight user and team mentions on GitHub".
Extensie Screenshots
Download het CRX-bestand van de extensie GitHub Mention Highlighter
Download GitHub Mention Highlighter-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
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. Basisinformatie over de Extensie
| Naam |  GitHub Mention Highlighter |
| ID | ojclbekffnkgbacniibdebdihhgenlkp |
| Officiële URL | https://chromewebstore.google.com/detail/github-mention-highlighte/ojclbekffnkgbacniibdebdihhgenlkp |
| Beschrijving | Highlight user and team mentions on GitHub |
| Bestandsgrootte | 201 KB |
| Aantal Installaties | 278 |
| Huidige Versie | 0.2.1 |
| Laatst Bijgewerkt | 2020-02-05 |
| Publicatiedatum | 2020-02-05 |
| Beoordeling | 5.00/5 Totaal 1 Beoordelingen |
| Ontwikkelaar | Ben Balter |
| Betalingswijze | free |
| Extensiewebsite | https://github.com/benbalter/github-mention-highlighter |
| Help Pagina-URL | https://github.com/benbalter/github-mention-highlighter/issues |
| Ondersteunde Talen | 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
}
} | |
