GitHub Whitespace
Redirect GitHub pull request pages to ignore whitespaces
¿Qué es GitHub Whitespace?
GitHub Whitespace es una extensión de Chrome desarrollada por jackchuka, y su función principal es "Redirect GitHub pull request pages to ignore whitespaces".
Capturas de Pantalla de la Extensión
Descargar Archivo CRX de la Extensión GitHub Whitespace
Descarga archivos de extensión GitHub Whitespace 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
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".
Información Básica de la Extensión
Nombre | GitHub Whitespace |
ID | fnpkdafamnbjoldglihkjjdicofghccm |
URL Oficial | https://chromewebstore.google.com/detail/github-whitespace/fnpkdafamnbjoldglihkjjdicofghccm |
Descripción | Redirect GitHub pull request pages to ignore whitespaces |
Tamaño del Archivo | 10.71 KB |
Cantidad de Instalaciones | 996 |
Versión Actual | 1.2 |
Última Actualización | 2021-09-02 |
Fecha de Publicación | 2020-08-12 |
Calificación | 4.75/5 Total de 8 Calificaciones |
Desarrollador | jackchuka |
Correo electrónico | [email protected] |
Tipo de Pago | free |
Idiomas Soportados | 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" } } |