GitHub Mention Highlighter
Highlight user and team mentions on GitHub
Was ist GitHub Mention Highlighter?
GitHub Mention Highlighter ist eine Chrome-Erweiterung, die von Ben Balter entwickelt wurde, und ihr Hauptmerkmal ist "Highlight user and team mentions on GitHub".
Erweiterungsscreenshots
GitHub Mention Highlighter-Erweiterungs-CRX-Datei herunterladen
Laden Sie GitHub Mention Highlighter-Erweiterungsdateien im crx-Format herunter, installieren Sie Chrome-Erweiterungen manuell im Browser oder teilen Sie die crx-Dateien mit Freunden, um Chrome-Erweiterungen einfach zu installieren.
Anleitung zur Verwendung der Erweiterung
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.
Grundlegende Informationen zur Erweiterung
Name | GitHub Mention Highlighter |
ID | ojclbekffnkgbacniibdebdihhgenlkp |
Offizielle URL | https://chromewebstore.google.com/detail/github-mention-highlighte/ojclbekffnkgbacniibdebdihhgenlkp |
Beschreibung | Highlight user and team mentions on GitHub |
Dateigröße | 201 KB |
Installationsanzahl | 278 |
Aktuelle Version | 0.2.1 |
Letztes Update | 2020-02-05 |
Veröffentlichungsdatum | 2020-02-05 |
Bewertung | 5.00/5 Insgesamt 1 Bewertungen |
Entwickler | Ben Balter |
Zahlungsart | free |
Erweiterungswebsite | https://github.com/benbalter/github-mention-highlighter |
Hilfeseite URL | https://github.com/benbalter/github-mention-highlighter/issues |
Unterstützte Sprachen | 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 } } |