Jenkins/_build/html/_static/doctools.js
author Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
Fri, 12 Jan 2018 14:16:17 +0100
changeset 4 633ec114762a
permissions -rw-r--r--
Initial commit for Jenkins Docs
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
4
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
     1
/*
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
     2
 * doctools.js
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
     3
 * ~~~~~~~~~~~
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
     4
 *
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
     5
 * Sphinx JavaScript utilities for all documentation.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
     6
 *
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
     7
 * :copyright: Copyright 2007-2016 by the Sphinx team, see AUTHORS.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
     8
 * :license: BSD, see LICENSE for details.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
     9
 *
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    10
 */
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    11
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    12
/**
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    13
 * select a different prefix for underscore
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    14
 */
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    15
$u = _.noConflict();
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    16
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    17
/**
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    18
 * make the code below compatible with browsers without
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    19
 * an installed firebug like debugger
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    20
if (!window.console || !console.firebug) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    21
  var names = ["log", "debug", "info", "warn", "error", "assert", "dir",
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    22
    "dirxml", "group", "groupEnd", "time", "timeEnd", "count", "trace",
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    23
    "profile", "profileEnd"];
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    24
  window.console = {};
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    25
  for (var i = 0; i < names.length; ++i)
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    26
    window.console[names[i]] = function() {};
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    27
}
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    28
 */
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    29
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    30
/**
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    31
 * small helper function to urldecode strings
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    32
 */
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    33
jQuery.urldecode = function(x) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    34
  return decodeURIComponent(x).replace(/\+/g, ' ');
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    35
};
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    36
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    37
/**
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    38
 * small helper function to urlencode strings
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    39
 */
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    40
jQuery.urlencode = encodeURIComponent;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    41
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    42
/**
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    43
 * This function returns the parsed url parameters of the
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    44
 * current request. Multiple values per key are supported,
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    45
 * it will always return arrays of strings for the value parts.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    46
 */
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    47
jQuery.getQueryParameters = function(s) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    48
  if (typeof s == 'undefined')
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    49
    s = document.location.search;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    50
  var parts = s.substr(s.indexOf('?') + 1).split('&');
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    51
  var result = {};
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    52
  for (var i = 0; i < parts.length; i++) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    53
    var tmp = parts[i].split('=', 2);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    54
    var key = jQuery.urldecode(tmp[0]);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    55
    var value = jQuery.urldecode(tmp[1]);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    56
    if (key in result)
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    57
      result[key].push(value);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    58
    else
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    59
      result[key] = [value];
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    60
  }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    61
  return result;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    62
};
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    63
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    64
/**
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    65
 * highlight a given string on a jquery object by wrapping it in
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    66
 * span elements with the given class name.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    67
 */
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    68
jQuery.fn.highlightText = function(text, className) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    69
  function highlight(node) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    70
    if (node.nodeType == 3) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    71
      var val = node.nodeValue;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    72
      var pos = val.toLowerCase().indexOf(text);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    73
      if (pos >= 0 && !jQuery(node.parentNode).hasClass(className)) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    74
        var span = document.createElement("span");
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    75
        span.className = className;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    76
        span.appendChild(document.createTextNode(val.substr(pos, text.length)));
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    77
        node.parentNode.insertBefore(span, node.parentNode.insertBefore(
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    78
          document.createTextNode(val.substr(pos + text.length)),
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    79
          node.nextSibling));
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    80
        node.nodeValue = val.substr(0, pos);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    81
      }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    82
    }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    83
    else if (!jQuery(node).is("button, select, textarea")) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    84
      jQuery.each(node.childNodes, function() {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    85
        highlight(this);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    86
      });
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    87
    }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    88
  }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    89
  return this.each(function() {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    90
    highlight(this);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    91
  });
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    92
};
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    93
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    94
/*
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    95
 * backward compatibility for jQuery.browser
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    96
 * This will be supported until firefox bug is fixed.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    97
 */
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    98
if (!jQuery.browser) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    99
  jQuery.uaMatch = function(ua) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   100
    ua = ua.toLowerCase();
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   101
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   102
    var match = /(chrome)[ \/]([\w.]+)/.exec(ua) ||
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   103
      /(webkit)[ \/]([\w.]+)/.exec(ua) ||
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   104
      /(opera)(?:.*version|)[ \/]([\w.]+)/.exec(ua) ||
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   105
      /(msie) ([\w.]+)/.exec(ua) ||
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   106
      ua.indexOf("compatible") < 0 && /(mozilla)(?:.*? rv:([\w.]+)|)/.exec(ua) ||
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   107
      [];
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   108
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   109
    return {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   110
      browser: match[ 1 ] || "",
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   111
      version: match[ 2 ] || "0"
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   112
    };
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   113
  };
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   114
  jQuery.browser = {};
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   115
  jQuery.browser[jQuery.uaMatch(navigator.userAgent).browser] = true;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   116
}
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   117
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   118
/**
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   119
 * Small JavaScript module for the documentation.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   120
 */
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   121
var Documentation = {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   122
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   123
  init : function() {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   124
    this.fixFirefoxAnchorBug();
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   125
    this.highlightSearchWords();
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   126
    this.initIndexTable();
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   127
    
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   128
  },
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   129
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   130
  /**
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   131
   * i18n support
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   132
   */
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   133
  TRANSLATIONS : {},
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   134
  PLURAL_EXPR : function(n) { return n == 1 ? 0 : 1; },
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   135
  LOCALE : 'unknown',
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   136
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   137
  // gettext and ngettext don't access this so that the functions
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   138
  // can safely bound to a different name (_ = Documentation.gettext)
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   139
  gettext : function(string) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   140
    var translated = Documentation.TRANSLATIONS[string];
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   141
    if (typeof translated == 'undefined')
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   142
      return string;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   143
    return (typeof translated == 'string') ? translated : translated[0];
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   144
  },
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   145
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   146
  ngettext : function(singular, plural, n) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   147
    var translated = Documentation.TRANSLATIONS[singular];
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   148
    if (typeof translated == 'undefined')
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   149
      return (n == 1) ? singular : plural;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   150
    return translated[Documentation.PLURALEXPR(n)];
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   151
  },
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   152
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   153
  addTranslations : function(catalog) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   154
    for (var key in catalog.messages)
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   155
      this.TRANSLATIONS[key] = catalog.messages[key];
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   156
    this.PLURAL_EXPR = new Function('n', 'return +(' + catalog.plural_expr + ')');
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   157
    this.LOCALE = catalog.locale;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   158
  },
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   159
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   160
  /**
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   161
   * add context elements like header anchor links
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   162
   */
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   163
  addContextElements : function() {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   164
    $('div[id] > :header:first').each(function() {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   165
      $('<a class="headerlink">\u00B6</a>').
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   166
      attr('href', '#' + this.id).
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   167
      attr('title', _('Permalink to this headline')).
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   168
      appendTo(this);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   169
    });
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   170
    $('dt[id]').each(function() {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   171
      $('<a class="headerlink">\u00B6</a>').
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   172
      attr('href', '#' + this.id).
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   173
      attr('title', _('Permalink to this definition')).
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   174
      appendTo(this);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   175
    });
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   176
  },
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   177
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   178
  /**
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   179
   * workaround a firefox stupidity
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   180
   * see: https://bugzilla.mozilla.org/show_bug.cgi?id=645075
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   181
   */
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   182
  fixFirefoxAnchorBug : function() {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   183
    if (document.location.hash)
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   184
      window.setTimeout(function() {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   185
        document.location.href += '';
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   186
      }, 10);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   187
  },
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   188
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   189
  /**
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   190
   * highlight the search words provided in the url in the text
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   191
   */
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   192
  highlightSearchWords : function() {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   193
    var params = $.getQueryParameters();
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   194
    var terms = (params.highlight) ? params.highlight[0].split(/\s+/) : [];
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   195
    if (terms.length) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   196
      var body = $('div.body');
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   197
      if (!body.length) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   198
        body = $('body');
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   199
      }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   200
      window.setTimeout(function() {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   201
        $.each(terms, function() {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   202
          body.highlightText(this.toLowerCase(), 'highlighted');
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   203
        });
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   204
      }, 10);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   205
      $('<p class="highlight-link"><a href="javascript:Documentation.' +
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   206
        'hideSearchWords()">' + _('Hide Search Matches') + '</a></p>')
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   207
          .appendTo($('#searchbox'));
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   208
    }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   209
  },
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   210
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   211
  /**
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   212
   * init the domain index toggle buttons
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   213
   */
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   214
  initIndexTable : function() {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   215
    var togglers = $('img.toggler').click(function() {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   216
      var src = $(this).attr('src');
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   217
      var idnum = $(this).attr('id').substr(7);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   218
      $('tr.cg-' + idnum).toggle();
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   219
      if (src.substr(-9) == 'minus.png')
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   220
        $(this).attr('src', src.substr(0, src.length-9) + 'plus.png');
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   221
      else
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   222
        $(this).attr('src', src.substr(0, src.length-8) + 'minus.png');
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   223
    }).css('display', '');
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   224
    if (DOCUMENTATION_OPTIONS.COLLAPSE_INDEX) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   225
        togglers.click();
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   226
    }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   227
  },
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   228
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   229
  /**
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   230
   * helper function to hide the search marks again
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   231
   */
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   232
  hideSearchWords : function() {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   233
    $('#searchbox .highlight-link').fadeOut(300);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   234
    $('span.highlighted').removeClass('highlighted');
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   235
  },
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   236
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   237
  /**
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   238
   * make the url absolute
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   239
   */
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   240
  makeURL : function(relativeURL) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   241
    return DOCUMENTATION_OPTIONS.URL_ROOT + '/' + relativeURL;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   242
  },
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   243
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   244
  /**
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   245
   * get the current relative url
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   246
   */
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   247
  getCurrentURL : function() {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   248
    var path = document.location.pathname;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   249
    var parts = path.split(/\//);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   250
    $.each(DOCUMENTATION_OPTIONS.URL_ROOT.split(/\//), function() {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   251
      if (this == '..')
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   252
        parts.pop();
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   253
    });
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   254
    var url = parts.join('/');
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   255
    return path.substring(url.lastIndexOf('/') + 1, path.length - 1);
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   256
  },
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   257
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   258
  initOnKeyListeners: function() {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   259
    $(document).keyup(function(event) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   260
      var activeElementType = document.activeElement.tagName;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   261
      // don't navigate when in search box or textarea
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   262
      if (activeElementType !== 'TEXTAREA' && activeElementType !== 'INPUT' && activeElementType !== 'SELECT') {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   263
        switch (event.keyCode) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   264
          case 37: // left
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   265
            var prevHref = $('link[rel="prev"]').prop('href');
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   266
            if (prevHref) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   267
              window.location.href = prevHref;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   268
              return false;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   269
            }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   270
          case 39: // right
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   271
            var nextHref = $('link[rel="next"]').prop('href');
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   272
            if (nextHref) {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   273
              window.location.href = nextHref;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   274
              return false;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   275
            }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   276
        }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   277
      }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   278
    });
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   279
  }
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   280
};
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   281
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   282
// quick alias for translations
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   283
_ = Documentation.gettext;
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   284
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   285
$(document).ready(function() {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   286
  Documentation.init();
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   287
});