Pint for GitHub
Pint for GitHub is a theming engine that allows you to customize and theme your developer experience on GitHub.
Co to jest Pint for GitHub?
Pint for GitHub to rozszerzenie Chrome opracowane przez https://fuwa.sh, a jego główną funkcją jest „Pint for GitHub is a theming engine that allows you to customize and theme your developer experience on GitHub.”.
Zrzuty ekranu rozszerzenia
Pobierz plik CRX rozszerzenia Pint for GitHub
Pobierz pliki rozszerzeń Pint for GitHub w formacie crx, zainstaluj ręcznie rozszerzenia Chrome w przeglądarce lub udostępnij pliki crx znajomym, aby łatwo zainstalować rozszerzenia Chrome.
Instrukcja Użytkowania Rozszerzenia
GitHub's personalisation options are a bit lacking, and staring at the same bland dark color scheme can make you wonder, what if there's more.
Pint for GitHub resolves that by providing you control over the way GitHub looks like. Did I mention it's free and OSS?
Features:
- Complete control of personalisation of every element.
- With the right settings, you can also achieve light theme too.
- Quickly paint groups of colors with the Group Painter.
- Quickly paint the entire site with the Update All button.
- Individual control of every possible element (change the color of any individual element without affecting the rest)
- Suggest colors that match the color you picked.
- Custom CSS to modify each button to each div just the way you like it.
- Free and Open-source and will always be.
This project is not affiliated, associated, endorsed by, or in any way officially connected with GitHub, Inc. and Git, or any of its subsidiaries or its affiliates. Podstawowe informacje o rozszerzeniu
| Nazwa |  Pint for GitHub |
| ID | mjhmdkcefcklflcmmokoahfdodcpeobg |
| Oficjalny URL | https://chromewebstore.google.com/detail/pint-for-github/mjhmdkcefcklflcmmokoahfdodcpeobg |
| Opis | Pint for GitHub is a theming engine that allows you to customize and theme your developer experience on GitHub. |
| Rozmiar pliku | 2.89 MB |
| Liczba instalacji | 31 |
| Aktualna Wersja | 2.0.1 |
| Ostatnia Aktualizacja | 2022-08-09 |
| Data Publikacji | 2022-01-12 |
| Ocena | 5.00/5 Łącznie 1 Oceny |
| Deweloper | https://fuwa.sh |
| [email protected] | |
| Typ Płatności | free |
| Strona Rozszerzenia | https://github.com/fuwaa/pint |
| Adres URL Strony Pomocy | https://github.com/fuwaa/pint/issues |
| Obsługiwane Języki | en |
| manifest.json | |
{
"update_url": "https:\/\/clients2.google.com\/service\/update2\/crx",
"manifest_version": 3,
"name": "Pint for GitHub",
"version": "2.0.1",
"icons": {
"16": "pint-logo.png",
"48": "pint-logo.png",
"128": "pint-logo.png"
},
"action": {
"default_icon": {
"16": "pint-logo.png",
"24": "pint-logo.png",
"32": "pint-logo.png"
},
"default_title": "Pint for GitHub",
"default_popup": "index.html"
},
"description": "Pint for GitHub is a theming engine that allows you to customize and theme your developer experience on GitHub.",
"author": {
"name": "Jariel Que",
"url": "https:\/\/github.com\/fuwaa"
},
"host_permissions": [
"https:\/\/*.github.com\/"
],
"content_scripts": [
{
"run_at": "document_start",
"matches": [
"https:\/\/*.github.com\/*"
],
"css": [
"pint-css.css"
],
"js": [
"initial.js"
]
},
{
"run_at": "document_end",
"matches": [
"https:\/\/*.github.com\/*"
],
"js": [
"initial.js"
],
"css": [
"unhide.css"
]
},
{
"run_at": "document_idle",
"matches": [
"https:\/\/*.github.com\/*"
],
"js": [
"initial.js"
]
}
],
"permissions": [
"storage",
"scripting"
],
"background": {
"service_worker": "background.js"
},
"options_page": "index.html"
} | |
