☰

Greasy Fork is available in English.

Widen Code Container and Hide Whitespace (GitHub)

Adds buttons to allow you to widen the container when viewing files and hide whitespace when viewing pull request diffs

Version au 15/01/2016. Voir la dernière version.

  1. // ==UserScript==
  2. // @name        Widen Code Container and Hide Whitespace (GitHub)
  3. // @namespace   chriskim06
  4. // @description Adds buttons to allow you to widen the container when viewing files and hide whitespace when viewing pull request diffs
  5. // @include     https://github.com/*
  6. // @require     http://ajax.googleapis.com/ajax/libs/jquery/2.1.3/jquery.min.js
  7. // @version     1.2.7
  8. // @grant       none
  9. // @locale      en
  10. // ==/UserScript==
  11.  
  12. this.$ = this.jQuery = jQuery.noConflict(true);
  13.  
  14. $(function() {
  15.     
  16.   if ($('#user-links').length) {
  17.     $('#user-links').prepend('<li class="header-nav-item"><a href="javascript:void(0)" id="hide-whitespace-button" class="header-nav-link tooltipped tooltipped-s" aria-label="Hide whitespace" onclick="return false;"><span class="octicon octicon-circle-slash"></span></a></li>');
  18.     $('#user-links').prepend('<li class="header-nav-item"><a href="javascript:void(0)" id="code-widen-button" class="header-nav-link tooltipped tooltipped-s" aria-label="Widen code container" onclick="return false;"><span class="octicon octicon-mirror "></span></a></li>');
  19.     
  20.     $('#code-widen-button').click(function(e) {
  21.       e.preventDefault();
  22.       if ($('.repository-content > .file').length || $('.repository-content').find('#files').length) {
  23.         if ($('#diff > #toc > .btn-group > a:nth-child(2)').hasClass('selected')) {
  24.           return;
  25.         }
  26.         var container = $('.container.new-discussion-timeline.experiment-repo-nav');
  27.         var expanded = $(window).width() * 0.75;
  28.         if (container.width() < expanded) {
  29.           container.css('width', expanded + 'px');
  30.         } else {
  31.           container.css('width', '980px');
  32.         }
  33.       }
  34.       $(this).blur();
  35.     });
  36.     
  37.     $('#hide-whitespace-button').click(function(e) {
  38.       e.preventDefault();
  39.       var url = window.location.href;
  40.       if ($('#diff > #files').length && !url.endsWith('?w=1')) {
  41.         window.location.href = url + '?w=1';
  42.       }
  43.       $(this).blur();
  44.     });
  45.     
  46.   }
  47.   
  48. });