Github Expand Diff

A user script for Chrome that allows you to expand the missing lines in a Github diff.

Cos'è Github Expand Diff?

Github Expand Diff è un'estensione di Chrome sviluppata da Michael Ridgway, e la sua funzione principale è "A user script for Chrome that allows you to expand the missing lines in a Github diff.".

Screenshot dell'Estensione

screenshot
screenshot

Scarica il file CRX dell'estensione Github Expand Diff

Scarica i file di estensione Github Expand Diff in formato crx, installa manualmente le estensioni di Chrome nel browser o condividi i file crx con gli amici per installare facilmente le estensioni di Chrome.

Istruzioni per l'Uso dell'Estensione

                                            

Informazioni di Base sull'Estensione

Nome Github Expand Diff Github Expand Diff
ID imakbajpbolcgnkfhhlhipbjppfomlij
URL Ufficiale https://chromewebstore.google.com/detail/github-expand-diff/imakbajpbolcgnkfhhlhipbjppfomlij
Descrizione A user script for Chrome that allows you to expand the missing lines in a Github diff.
Dimensione del File 5.63 KB
Conteggio Installazioni 121
Versione Corrente 0.0.1.6
Ultimo Aggiornamento 2014-06-18
Data di Pubblicazione 2014-06-18
Valutazione 3.86/5 Totale 7 Valutazioni
Sviluppatore Michael Ridgway
Tipo di Pagamento free
Sito Web dell'Estensione https://github.com/mridgway/github-expand-diff
URL della Pagina di Aiuto https://github.com/mridgway/github-expand-diff/issues
Lingue Supportate en
manifest.json
{
    "update_url": "https:\/\/clients2.google.com\/service\/update2\/crx",
    "name": "Github Expand Diff",
    "version": "0.0.1.6",
    "description": "A user script for Chrome that allows you to expand the missing lines in a Github diff.",
    "manifest_version": 2,
    "content_scripts": [
        {
            "matches": [
                "https:\/\/*.com\/*\/*\/pull\/*",
                "https:\/\/*.com\/*\/*\/commit\/*",
                "https:\/\/*.com\/*\/*\/compare\/*"
            ],
            "include_globs": [
                "https:\/\/github.com\/*",
                "https:\/\/github.*.com\/*",
                "https:\/\/git.*.com\/*"
            ],
            "run_at": "document_end",
            "js": [
                "github-expand-diff.user.js"
            ]
        }
    ]
}