GitHub Mention Highlighter
Highlight user and team mentions on GitHub
ما هو GitHub Mention Highlighter؟
GitHub Mention Highlighter هو إضافة Chrome تم تطويرها بواسطة Ben Balter، والميزة الرئيسية لها هي "Highlight user and team mentions on GitHub".
لقطات شاشة التمديد
تحميل ملف CRX للإضافة GitHub Mention Highlighter
قم بتنزيل ملفات الامتداد GitHub Mention Highlighter بتنسيق crx ، وقم بتثبيت الامتدادات يدويًا في متصفح Chrome ، أو شارك ملفات crx مع الأصدقاء لتثبيت الامتدادات بسهولة.
تعليمات استخدام التمديد
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.
معلومات أساسية عن التمديد
الاسم | GitHub Mention Highlighter |
ID | ojclbekffnkgbacniibdebdihhgenlkp |
عنوان URL الرسمي | https://chromewebstore.google.com/detail/github-mention-highlighte/ojclbekffnkgbacniibdebdihhgenlkp |
الوصف | Highlight user and team mentions on GitHub |
حجم الملف | 201 KB |
عدد التثبيتات | 278 |
النسخة الحالية | 0.2.1 |
آخر تحديث | 2020-02-05 |
تاريخ النشر | 2020-02-05 |
تقييم | 5.00/5 مجموع تقييمات 1 |
المطور | Ben Balter |
نوع الدفع | free |
موقع الإضافة | https://github.com/benbalter/github-mention-highlighter |
عنوان صفحة المساعدة | https://github.com/benbalter/github-mention-highlighter/issues |
اللغات المدعومة | 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 } } |