☰

GitHub - Make the site better (and wider)

Makes github full width in a few views, and makes PR diffs easier to browse

Per 04-08-2015. Zie de nieuwste versie.

Hoe installeer ik dit?

Voor het installeren van scripts heb je een extensie nodig, zoals Tampermonkey, Greasemonkey of Violentmonkey.

Voor het installeren van scripts heb je een extensie nodig, zoals Tampermonkey of Violentmonkey.

Voor het installeren van scripts heb je een extensie nodig, zoals Tampermonkey of Violentmonkey.

Voor het installeren van scripts heb je een extensie nodig, zoals Tampermonkey of Userscripts.

Voor het installeren van scripts heb je een extensie nodig, zoals {tampermonkey_link:Tampermonkey}.

Voor het installeren van scripts heb je een gebruikersscriptbeheerder nodig.

(Ik heb al een user script manager, laat me het downloaden!)

Hoe installeer ik dit?

Voor het installeren van gebruikersstijlen heb je een extensie nodig, zoals {stylus_link:Stylus}.

Voor het installeren van gebruikersstijlen heb je een extensie nodig, zoals {stylus_link:Stylus}.

Voor het installeren van gebruikersstijlen heb je een extensie nodig, zoals {stylus_link:Stylus}.

Voor het installeren van gebruikersstijlen heb je een gebruikersstijlbeheerder nodig.

Voor het installeren van gebruikersstijlen heb je een gebruikersstijlbeheerder nodig.

Voor het installeren van gebruikersstijlen heb je een gebruikersstijlbeheerder nodig.

(Ik heb al een beheerder - laat me doorgaan met de installatie!)

Maker
DrKnoxy
Beoordelingen
0 0 0
Versie
0.3
Gemaakt op
15-06-2015
Bijgewerkt op
04-08-2015
Grootte
1,51 KB
Licentie
N.v.t.
Wordt toegepast op

Makes some of the pages into fluid width pages.

  • when "pull", "compare", or "wiki" are in the url (in the right spot)

If you are browsing a PR and go to the "files changed" tab, the file headers work like an accordion now! Click once to open, click again to close. And opening one doesn't close the others.