doc/sphinx/_build/html/_static/doctools.js

   1 /*
   2  * doctools.js
   3  * ~~~~~~~~~~~
   4  *
   5  * Sphinx JavaScript utilities for all documentation.
   6  *
   7  * :copyright: Copyright 2007-2014 by the Sphinx team, see AUTHORS.
   8  * :license: BSD, see LICENSE for details.
   9  *
  10  */
  11
  12 /**
  13  * select a different prefix for underscore
  14  */
  15 $u = _.noConflict();
  16
  17 /**
  18  * make the code below compatible with browsers without
  19  * an installed firebug like debugger
  20 if (!window.console || !console.firebug) {
  21   var names = ["log", "debug", "info", "warn", "error", "assert", "dir",
  22     "dirxml", "group", "groupEnd", "time", "timeEnd", "count", "trace",
  23     "profile", "profileEnd"];
  24   window.console = {};
  25   for (var i = 0; i < names.length; ++i)
  26     window.console[names[i]] = function() {};
  27 }
  28  */
  29
  30 /**
  31  * small helper function to urldecode strings
  32  */
  33 jQuery.urldecode = function(x) {
  34   return decodeURIComponent(x).replace(/\+/g, ' ');
  35 };
  36
  37 /**
  38  * small helper function to urlencode strings
  39  */
  40 jQuery.urlencode = encodeURIComponent;
  41
  42 /**
  43  * This function returns the parsed url parameters of the
  44  * current request. Multiple values per key are supported,
  45  * it will always return arrays of strings for the value parts.
  46  */
  47 jQuery.getQueryParameters = function(s) {
  48   if (typeof s == 'undefined')
  49     s = document.location.search;
  50   var parts = s.substr(s.indexOf('?') + 1).split('&');
  51   var result = {};
  52   for (var i = 0; i < parts.length; i++) {
  53     var tmp = parts[i].split('=', 2);
  54     var key = jQuery.urldecode(tmp[0]);
  55     var value = jQuery.urldecode(tmp[1]);
  56     if (key in result)
  57       result[key].push(value);
  58     else
  59       result[key] = [value];
  60   }
  61   return result;
  62 };
  63
  64 /**
  65  * highlight a given string on a jquery object by wrapping it in
  66  * span elements with the given class name.
  67  */
  68 jQuery.fn.highlightText = function(text, className) {
  69   function highlight(node) {
  70     if (node.nodeType == 3) {
  71       var val = node.nodeValue;
  72       var pos = val.toLowerCase().indexOf(text);
  73       if (pos >= 0 && !jQuery(node.parentNode).hasClass(className)) {
  74         var span = document.createElement("span");
  75         span.className = className;
  76         span.appendChild(document.createTextNode(val.substr(pos, text.length)));
  77         node.parentNode.insertBefore(span, node.parentNode.insertBefore(
  78           document.createTextNode(val.substr(pos + text.length)),
  79           node.nextSibling));
  80         node.nodeValue = val.substr(0, pos);
  81       }
  82     }
  83     else if (!jQuery(node).is("button, select, textarea")) {
  84       jQuery.each(node.childNodes, function() {
  85         highlight(this);
  86       });
  87     }
  88   }
  89   return this.each(function() {
  90     highlight(this);
  91   });
  92 };
  93
  94 /**
  95  * Small JavaScript module for the documentation.
  96  */
  97 var Documentation = {
  98
  99   init : function() {
 100     this.fixFirefoxAnchorBug();
 101     this.highlightSearchWords();
 102     this.initIndexTable();
 103   },
 104
 105   /**
 106    * i18n support
 107    */
 108   TRANSLATIONS : {},
 109   PLURAL_EXPR : function(n) { return n == 1 ? 0 : 1; },
 110   LOCALE : 'unknown',
 111
 112   // gettext and ngettext don't access this so that the functions
 113   // can safely bound to a different name (_ = Documentation.gettext)
 114   gettext : function(string) {
 115     var translated = Documentation.TRANSLATIONS[string];
 116     if (typeof translated == 'undefined')
 117       return string;
 118     return (typeof translated == 'string') ? translated : translated[0];
 119   },
 120
 121   ngettext : function(singular, plural, n) {
 122     var translated = Documentation.TRANSLATIONS[singular];
 123     if (typeof translated == 'undefined')
 124       return (n == 1) ? singular : plural;
 125     return translated[Documentation.PLURALEXPR(n)];
 126   },
 127
 128   addTranslations : function(catalog) {
 129     for (var key in catalog.messages)
 130       this.TRANSLATIONS[key] = catalog.messages[key];
 131     this.PLURAL_EXPR = new Function('n', 'return +(' + catalog.plural_expr + ')');
 132     this.LOCALE = catalog.locale;
 133   },
 134
 135   /**
 136    * add context elements like header anchor links
 137    */
 138   addContextElements : function() {
 139     $('div[id] > :header:first').each(function() {
 140       $('<a class="headerlink">\u00B6</a>').
 141       attr('href', '#' + this.id).
 142       attr('title', _('Permalink to this headline')).
 143       appendTo(this);
 144     });
 145     $('dt[id]').each(function() {
 146       $('<a class="headerlink">\u00B6</a>').
 147       attr('href', '#' + this.id).
 148       attr('title', _('Permalink to this definition')).
 149       appendTo(this);
 150     });
 151   },
 152
 153   /**
 154    * workaround a firefox stupidity
 155    */
 156   fixFirefoxAnchorBug : function() {
 157     if (document.location.hash && $.browser.mozilla)
 158       window.setTimeout(function() {
 159         document.location.href += '';
 160       }, 10);
 161   },
 162
 163   /**
 164    * highlight the search words provided in the url in the text
 165    */
 166   highlightSearchWords : function() {
 167     var params = $.getQueryParameters();
 168     var terms = (params.highlight) ? params.highlight[0].split(/\s+/) : [];
 169     if (terms.length) {
 170       var body = $('div.body');
 171       if (!body.length) {
 172         body = $('body');
 173       }
 174       window.setTimeout(function() {
 175         $.each(terms, function() {
 176           body.highlightText(this.toLowerCase(), 'highlighted');
 177         });
 178       }, 10);
 179       $('<p class="highlight-link"><a href="javascript:Documentation.' +
 180         'hideSearchWords()">' + _('Hide Search Matches') + '</a></p>')
 181           .appendTo($('#searchbox'));
 182     }
 183   },
 184
 185   /**
 186    * init the domain index toggle buttons
 187    */
 188   initIndexTable : function() {
 189     var togglers = $('img.toggler').click(function() {
 190       var src = $(this).attr('src');
 191       var idnum = $(this).attr('id').substr(7);
 192       $('tr.cg-' + idnum).toggle();
 193       if (src.substr(-9) == 'minus.png')
 194         $(this).attr('src', src.substr(0, src.length-9) + 'plus.png');
 195       else
 196         $(this).attr('src', src.substr(0, src.length-8) + 'minus.png');
 197     }).css('display', '');
 198     if (DOCUMENTATION_OPTIONS.COLLAPSE_INDEX) {
 199         togglers.click();
 200     }
 201   },
 202
 203   /**
 204    * helper function to hide the search marks again
 205    */
 206   hideSearchWords : function() {
 207     $('#searchbox .highlight-link').fadeOut(300);
 208     $('span.highlighted').removeClass('highlighted');
 209   },
 210
 211   /**
 212    * make the url absolute
 213    */
 214   makeURL : function(relativeURL) {
 215     return DOCUMENTATION_OPTIONS.URL_ROOT + '/' + relativeURL;
 216   },
 217
 218   /**
 219    * get the current relative url
 220    */
 221   getCurrentURL : function() {
 222     var path = document.location.pathname;
 223     var parts = path.split(/\//);
 224     $.each(DOCUMENTATION_OPTIONS.URL_ROOT.split(/\//), function() {
 225       if (this == '..')
 226         parts.pop();
 227     });
 228     var url = parts.join('/');
 229     return path.substring(url.lastIndexOf('/') + 1, path.length - 1);
 230   }
 231 };
 232
 233 // quick alias for translations
 234 _ = Documentation.gettext;
 235
 236 $(document).ready(function() {
 237   Documentation.init();
 238 });