GitHub Whitespace
Redirect GitHub pull request pages to ignore whitespaces
Qu'est-ce que GitHub Whitespace ?
GitHub Whitespace est une extension Chrome développée par jackchuka, et sa fonction principale est "Redirect GitHub pull request pages to ignore whitespaces".
Captures d'Écran de l'Extension
Télécharger le fichier CRX de l'extension GitHub Whitespace
Téléchargez les fichiers d'extension GitHub Whitespace au format crx, installez manuellement les extensions Chrome dans le navigateur ou partagez les fichiers crx avec des amis pour installer facilement les extensions Chrome.
Instructions d'Utilisation de l'Extension
Tired of switching GitHub's "Hide whitespace changes"?
This extension saves you three clicks!
The extension is minimal, you can simply enable or disable it from Chrome Extensions tab.
Update: Nov 6th, 2020
Now you can enable this extension on GitHub Enterprise by clicking the Extension icon -> "Enable GitHub Whitespace on this domain". Informations de Base sur l'Extension
| Nom |  GitHub Whitespace |
| ID | fnpkdafamnbjoldglihkjjdicofghccm |
| URL Officiel | https://chromewebstore.google.com/detail/github-whitespace/fnpkdafamnbjoldglihkjjdicofghccm |
| Description | Redirect GitHub pull request pages to ignore whitespaces |
| Taille du Fichier | 10.71 KB |
| Nombre d'Installations | 996 |
| Version Actuelle | 1.2 |
| Dernière Mise à Jour | 2021-09-02 |
| Date de Publication | 2020-08-12 |
| Évaluation | 4.75/5 Total 8 Évaluations |
| Développeur | jackchuka |
| [email protected] | |
| Type de Paiement | free |
| Langues Prises en Charge | en-US |
| manifest.json | |
{
"update_url": "https:\/\/clients2.google.com\/service\/update2\/crx",
"manifest_version": 2,
"name": "GitHub Whitespace",
"description": "Redirect GitHub pull request pages to ignore whitespaces",
"version": "1.2",
"background": {
"scripts": [
"js\/background.js"
]
},
"permissions": [
"activeTab",
"contextMenus",
"webRequest",
"webRequestBlocking",
"*:\/\/*.github.com\/*"
],
"optional_permissions": [
"http:\/\/*\/*",
"https:\/\/*\/*"
],
"icons": {
"16": "icon16.png",
"32": "icon32.png",
"48": "icon48.png",
"128": "icon128.png"
}
} | |
