Skip to content

Instantly share code, notes, and snippets.

@rudolph9

rudolph9/gistGithubAddPaginationToTop4MyGists.user.js

Forked from erikvold/gistGithubAddPaginationToTop4MyGists.user.js
Created April 4, 2012 12:15
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save rudolph9/2300732 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save rudolph9/2300732 to your computer and use it in GitHub Desktop.
Download ZIP

Revisions

  1. @erikvold erikvold created this gist Mar 21, 2010.
    23 changes: 23 additions & 0 deletions gistGithubAddPaginationToTop4MyGists.user.js
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,23 @@
    // ==UserScript==
    // @name Add Pagination For My Gists To Top
    // @namespace gistGithubAddPaginationToTop4MyGists
    // @include /^http:\/\/gist\.github\.com\/mine([?#].*)?$/i
    // @include http://gist.github.com/mine*
    // @match http://gist.github.com/mine*
    // @datecreated 2010-03-21
    // @lastupdated 2010-03-21
    // @version 0.1
    // @author Erik Vergobbi Vold
    // @license GPL version 3 or any later version; http://www.gnu.org/copyleft/gpl.html
    // @description This userscript will add the pagination for the gist.github.com My Gists page.
    // ==/UserScript==

    (function(d){
    var list=d.getElementById('files');
    if(!list) return;

    var pagination=d.getElementsByClassName('pagination')[0];
    if(!pagination) return;

    list.parentNode.insertBefore(pagination.cloneNode(true),list);
    })(document);