GitHub Mention Highlighter
Highlight user and team mentions on GitHub
¿Qué es GitHub Mention Highlighter?
GitHub Mention Highlighter es una extensión de Chrome desarrollada por Ben Balter, y su función principal es "Highlight user and team mentions on GitHub".
Capturas de Pantalla de la Extensión
Descargar Archivo CRX de la Extensión GitHub Mention Highlighter
Descarga archivos de extensión GitHub Mention Highlighter en formato crx, instala manualmente las extensiones de Chrome en el navegador o comparte los archivos crx con amigos para instalar fácilmente las extensiones de Chrome.
Instrucciones de Uso de la Extensión
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. Información Básica de la Extensión
| Nombre |  GitHub Mention Highlighter |
| ID | ojclbekffnkgbacniibdebdihhgenlkp |
| URL Oficial | https://chromewebstore.google.com/detail/github-mention-highlighte/ojclbekffnkgbacniibdebdihhgenlkp |
| Descripción | Highlight user and team mentions on GitHub |
| Tamaño del Archivo | 201 KB |
| Cantidad de Instalaciones | 278 |
| Versión Actual | 0.2.1 |
| Última Actualización | 2020-02-05 |
| Fecha de Publicación | 2020-02-05 |
| Calificación | 5.00/5 Total de 1 Calificaciones |
| Desarrollador | Ben Balter |
| Tipo de Pago | free |
| Sitio Web de la Extensión | https://github.com/benbalter/github-mention-highlighter |
| URL de la Página de Ayuda | https://github.com/benbalter/github-mention-highlighter/issues |
| Idiomas Soportados | 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
}
} | |
