/* jslint browser: true */
/* jslint convert: false */
/* jslint devel: false */
/* jshint es3: true */

/* remove jslint "undefined variable" warnings for these */
/* global pako */
/* global Sha1 */
/* global JSZip */
/* global saveAs */
/* global Viz */
/* global CodeMirror */

function ___stringToUint8Array(str) {
  var s = String(str);
  var a = [];
  for (var i = 0; i < s.length; i++) {
    a.push(s.charCodeAt(i));
  }
  return new Uint8Array(a);
}
function ___uint8ArrayToString(a) {
  var s = [];
  for (var i = 0; i < a.length; i++) {
    s.push(String.fromCharCode(a[i]));
  }
  return s.join('');
}
// Convert bytes to hex
function ___to_hex(str) {
  var s = String(str);
  var hex = "";
  for (var i = 0; i < s.length; i++) {
    hex += ___left_pad(s.charCodeAt(i).toString(16), '0', 2);
  }
  return hex;
}

function ___hex_to_bin(hexstr) {
  var hex = String(hexstr);
  var str = "";
  for (var i = 0; i < hex.length; i+=2) {
    str += String.fromCharCode(parseInt(hex.substr(i, 2), 16));
  }
  return str;
}

// These three functions are accessible in the user scripts.
var sha1_from_bytes_returns_hex = function(s) { return Sha1.hash(___to_hex(s), { msgFormat: 'hex-bytes', outFormat: 'hex' }); };
var deflate = function(s) { return ___uint8ArrayToString(pako.deflate(___stringToUint8Array(s))); };
var inflate = function(s) { return ___uint8ArrayToString(pako.inflate(___stringToUint8Array(s))); };

var ___global_unique_id = 0;
function ___specialchars(str) {
  return String(str)
    .replace(/&/g, '&amp;')
    .replace(/</g, '&lt;')
    .replace(/>/g, '&gt;')
    .replace(/"/g, '&quot;');
}
function ___left_pad(str, chr, len) {
  var s = String(str);
  while (s.length < len) { s = chr + s; }
  return s;
}
function ___to_hex_for_printf(str) {
  var s = String(str);
  var hex = "";
  for (var i = 0; i < s.length; i++) {
    var h = ___left_pad(s.charCodeAt(i).toString(16), '0', 2);
    hex += '<span class="hex-prefix">\\x<span class="hex">' + h + '</span></span>';
  }
  return '<span style="display: block;">' + hex + '</span>';
}
function ___specialchars_and_colour(s) {
  return s.replace(/[^-a-zA-Z0-9+_/!%$@.()':]/g, function (c) {
        switch (c) {
          case " ":  return '<span class="space"> </span>';
          case "\\": return '<span class="specialchar">\\\\</span>';
          case "\0": return '<span class="specialchar newline">\\000</span>';
          case "\r": return '<span class="specialchar">\\r</span>';
          case "\n": return '<span class="specialchar newline">\\n</span>';
          case "\t": return '<span class="specialchar">\\t</span>';
          case '&':  return '&amp;';
          case '<':  return '&lt;';
          case '>':  return '&gt;';
          case '"':  return '&quot;';
          case "'":  return '&#39;';
          default:   return '<span class="specialchar">\\x'+___left_pad(c.charCodeAt(0).toString(16), 0, 2)+'</span>';
        }
      });
}
function ___getOffset(elt) {
  if (elt) {
      var o = ___getOffset(elt.offsetParent);
      return { left: elt.offsetLeft + o.left, top: elt.offsetTop + o.top };
  } else {
      return { left: 0, top: 0 };
  }
}
var global_current_hilite = { src: false, dests: [], srcid: false, destclass: false, lines: false };
function ___hilite_off() {
  if (global_current_hilite.src) {
    global_current_hilite.src.classList.remove('hilite-src');
  }
  for (var d = 0; d < global_current_hilite.dests.length; d++) {
    global_current_hilite.dests[d].classList.remove('hilite-dest');
  }
  if (global_current_hilite.lines) {
    global_current_hilite.lines.innerHTML = '';
  }
  global_current_hilite = { src: false, dests: [], srcid: false, destclass: false, lines: false };
}
function ___scroll_to_dest(srcid, destclass) {
  var src = document.getElementById(srcid);

  var wrapper_and_dests = get_wrapper_and_dests(src, destclass);
  var dests = wrapper_and_dests.dests;

  if (dests.length > 0) {
    var dest = dests[dests.length - 1];
    while (dest && dest.tagName.toLowerCase() != 'tr') { dest = dest.parentElement; }
    if (dest) {
      dest.scrollIntoView({ behavior: 'smooth', block: 'center' });
      dest.classList.add('scroll-destination-hilite');
      window.setTimeout(function() {
        dest.classList.add('scroll-destination-lolite');
        dest.classList.remove('scroll-destination-hilite');
        window.setTimeout(function() {
          dest.classList.remove('scroll-destination-lolite');
        }, 600);
      }, 1100);
    }
  }
  return false;
}
function get_wrapper_and_dests(src, destclass) {
  var wrapper = src;
  while (wrapper && !wrapper.classList.contains('hilite-wrapper')) { wrapper = wrapper.parentElement; }
  var maybe_dests = (wrapper || document).getElementsByClassName(destclass);
  var dests = [];
  for (var i = 0; i < maybe_dests.length; i++) {
    var nodest = maybe_dests[i];
    while (nodest && !nodest.classList.contains('hilite-nodest')) { nodest = nodest.parentElement; }
    if (nodest) {
      // skip this as a destination for an arrow or for scrolling
    } else {
      dests.push(maybe_dests[i]);
    }
  }
  return { wrapper: wrapper, dests: dests };
}
function ___hilite(srcid, destclass) {
  ___hilite_off();
  var src = document.getElementById(srcid);
  var wrapper_and_dests = get_wrapper_and_dests(src, destclass);
  var wrapper = wrapper_and_dests.wrapper;
  var dests = wrapper_and_dests.dests;

  // circumvent glitch where the codemirror areas seem to resize themselves
  // which causes the arrow to be misaligned. Instead of using a global container for lines:
  //    var lines = document.getElementById('lines');
  // we use a different container for each hilite-wrapper, positionned within it.
  var lines = wrapper.getElementsByClassName('lines');
  if (lines.length < 1) {
    lines = document.createElement('div');
    lines.className = 'lines';
    wrapper.insertBefore(lines, wrapper.firstChild);
  } else {
    lines = lines[0];
  }

  global_current_hilite = { src: src, dests: dests, srcid: srcid, destclass: destclass, lines: lines };

  src.classList.add('hilite-src');
  src.setAttribute('onclick', 'event.stopPropagation(); ___scroll_to_dest("'+srcid+'", "'+destclass+'")');
  lines.innerHTML = '';
  for (var d = 0; d < dests.length; d++) {
    dests[d].classList.add('hilite-dest');
    var osrc = ___getOffset(src);
    var tr = dests[d];
    while (tr !== null && tr.tagName.toLowerCase() != 'tr') { tr = tr.parentElement; }
    var otr = ___getOffset(tr);

    var l1 = document.createElement('div');
    lines.appendChild(l1);
    l1.style.position = 'absolute';

    var l2 = document.createElement('div');
    lines.appendChild(l2);
    l2.style.position = 'absolute';
    
    var l3 = document.createElement('div');
    lines.appendChild(l3);
    l3.style.position = 'absolute';

    var ar = document.createElement('div');
    lines.appendChild(ar);
    ar.style.position = 'absolute';

    var op = ___getOffset(l1.offsetParent);

    var arrowWidth = 15;
    var arrowHeight = 8;
    var thickness = 3;

    var xa = Math.floor(osrc.left - op.left + src.offsetWidth);
    var ya = Math.floor(osrc.top  - op.top  + src.offsetHeight / 2);
    var xb = Math.floor(otr.left - op.left + tr.offsetWidth);
    var yb = Math.floor(otr.top  - op.top  + tr.offsetHeight / 2);
    var pdest = { left: xb, top: yb };
    xb += arrowWidth - 1;
    var x = Math.max(xa, xb) + (50 * (d+1));
    if (ya > yb) {
      var tmpx = xa;
      var tmpy = ya;
      xa = xb;
      ya = yb;
      xb = tmpx;
      yb = tmpy;
    }

    var p1 = { left: xa, top: ya };
    var p2 = { left: x, top: ya };
    var p3 = { left: x, top: yb };
    var p4 = { left: xb, top: yb };

    // line 1
    l1.style.width = (p2.left-p1.left) + 'px';
    l1.style.height = thickness + 'px';
    l1.style.backgroundColor = 'red';
    l1.style.top  = p1.top + 'px';
    l1.style.left = p1.left + 'px';
    // line 2
    l2.style.width = thickness + 'px';
    l2.style.height = (p3.top-p2.top + thickness) + 'px';
    l2.style.backgroundColor = 'red';
    l2.style.top  = p2.top + 'px';
    l2.style.left = p2.left +'px';
    // line 3
    l3.style.width = (p3.left-p4.left)+'px';
    l3.style.height = thickness+'px';
    l3.style.backgroundColor = 'red';
    l3.style.top  = p4.top + 'px';
    l3.style.left = p4.left + 'px';
    // arrow
    ar.style.width = '0px';
    ar.style.height = '0px';
    ar.style.borderLeft = arrowWidth+'px solid transparent';
    ar.style.borderTop = arrowHeight+'px solid transparent';
    ar.style.borderRight = arrowWidth+'px solid red';
    ar.style.borderBottom = arrowHeight+'px solid transparent';
    ar.style.top  = (pdest.top - arrowHeight + thickness/2)+'px';
    ar.style.left = (pdest.left - arrowWidth)+'px';
  }
}
function ___lolite(src, dest) {
  // For now, keep the highlight onmouseout, to help with scrolling while looking for the target of an arrow.
  var ignore = [src, dest];
  ignore = ignore;
}
(function() {
  var oldresize = window.onresize;
  window.onresize = function () {
    if (global_current_hilite.srcid && global_current_hilite.destclass) {
      var srcid = global_current_hilite.srcid;
      var destclass = global_current_hilite.destclass;
      ___hilite(srcid, destclass);
    }
    if (oldresize) { oldresize(); }
  };
})();
function ___hex_hash(s) {
  var id = ___global_unique_id++;
  var hash = "object-hash-"+___to_hex(s.substr(0,20));
  return '<span id="'+id+'" class="hex-hash" onmouseover="___hilite('+id+',\''+hash+'\')" onmouseout="___lolite('+id+',\''+hash+'\')">' +
         /*+*/ ___to_hex_for_printf(s.substr(0,10)) +
         /*+*/ ___to_hex_for_printf(s.substr(10,10)) +
         /*+*/ '</span>' +
         /*+*/ ___specialchars_and_colour(s.substr(20) /* should be empty unless there's a bug */);
}
function ___special_tree(s) {
  var target_hashes = [];
  var sp = s.split('\0');
  sp[0] = ___specialchars_and_colour(sp[0]);
  sp[1] = ___specialchars_and_colour(sp[1]);
  for (var i = 2; i < sp.length; i++) {
    target_hashes.push(___to_hex(sp[i].substr(0,20)));
    sp[i] = ___hex_hash(sp[i].substr(0,20)) +
        /*+*/ ___specialchars_and_colour(sp[i].substr(20));
  }
  var html = sp.join('<span class="specialchar newline">\\000</span>');
  return { type: 'tree', target_hashes: target_hashes, html: html };
}
function ___special_hash(s) {
  var target_hashes = [];
  var id = ___global_unique_id++;
  var h = s.substr(0,40);
  target_hashes.push(h);
  var hash = "object-hash-"+h;
  var html = '<span id="'+id+'" class="plain-hash-or-ref" onmouseover="___hilite('+id+',\''+hash+'\')" onmouseout="___lolite('+id+',\''+hash+'\')">' +
         /*+*/ s.substr(0,40) +
         /*+*/ '</span>' +
         /*+*/ ___specialchars_and_colour(s.substr(40));
  return { type: 'hash', target_hashes: target_hashes, html: html };
}
function ___special_ref(s) {
  var target_hashes = [];
  var id = ___global_unique_id++;
  var h = s.substr(5, s.length-6);
  target_hashes.push(h);
  var hash = "object-hash-"+h;
  var html = s.substr(0,5) +
         /*+*/ '<span id="'+id+'" class="plain-hash-or-ref" onmouseover="___hilite('+id+',\''+hash+'\')" onmouseout="___lolite('+id+',\''+hash+'\')">' +
         /*+*/ ___specialchars_and_colour(s.substr(5, s.length-6)) +
         /*+*/ '</span>' +
         /*+*/ ___specialchars_and_colour(s.substr(s.length-1));
  return { type: 'symbolic ref', target_hashes: target_hashes, html: html };
}
function ___special_index(s) {
  var target_hashes = [];
  var html = 'DIRC'; // magic
  var i = 4;
  var binary_span = function(bits) {
    var bytes = bits / 8;
    html += '<span class="newline">' + ___to_hex_for_printf(s.substr(i, bytes)) + '</span>';
    i += bytes;
  };
  binary_span(32); // version
  binary_span(32); // entries

  var entry_start = i;
  while (i + 20 < s.length) {
    binary_span(64); // ctime
    binary_span(64); // mtime
    binary_span(32); // device
    binary_span(32); // inode
    binary_span(32); // mode (stored as octal → binary)
    binary_span(32); // uid
    binary_span(32); // gid
    binary_span(32); // size
    var h = s.substr(i, 20);
    target_hashes.push(___to_hex(h));
    html += ___hex_hash(h); // hash
    i += 20;
    var length = s.substr(i, 2);
    length = length.charCodeAt(0) * 256 + length.charCodeAt(1);
    length = /* jslint bitwise: true */ length & 0xfff /* jslint bitwise: false */;
    binary_span(16); // 4 bits flags, 12 bits file length
    // file path until null
    html += ___specialchars_and_colour(s.substr(i, length));
    i += length;
    while (i < s.length && (i - entry_start) % 8 != 0) {
      // null bytes
      if (s.charCodeAt(i) == 0) {
        // as expected
        html += '<span class="specialchar">\\000</span>';
      } else {
        // there's a bug in this git index, display the hex chars as they come.
        html += ___specialchars_and_colour(s.substr(i, 1));
      }
      i++;
    }
    entry_start = i;
  }

  var last_h = s.substr(i, 20);
  target_hashes.push(___to_hex(last_h));
  html += ___hex_hash(last_h); // hash
  i += 20;

  html += ___specialchars_and_colour(s.substr(i)); // should be empty

  return { type: 'index / staging', target_hashes: target_hashes, html: html };
}
function ___special_commit(s) {
  var target_hashes = [];
  var sz = s.split('\0');
  var sp = sz[1].split('\n');
  sz[0] = ___specialchars_and_colour(sz[0]);
  var i;
  for (i = 0; i < sp.length && sp[i] != ''; i++) {
    if (/(tree|parent) [0-9a-f]{40}/.test(sp[i])) {
      var prefix_len = sp[i].startsWith('tree ') ? 5 : 7;
      var id=___global_unique_id++;
      var h = sp[i].substr(prefix_len);
      target_hashes.push(h);
      var hash = "object-hash-"+h;
      sp[i] = ___specialchars_and_colour(sp[i].substr(0,prefix_len)) +
          /*+*/ '<span id="'+id+'" class="plain-hash-or-ref" onmouseover="___hilite('+id+',\''+hash+'\')" onmouseout="___lolite('+id+',\''+hash+'\')">' +
          /*+*/ sp[i].substr(prefix_len) +
          /*+*/ '</span>';
    } else {
      sp[i] = ___specialchars_and_colour(sp[i]);
    }
  }
  for (; i < sp.length; i++) {
    sp[i] = ___specialchars_and_colour(sp[i]);
  }
  var sp_joined = sp.join('<span class="specialchar newline">\\n</span>');
  var html = [sz[0], sp_joined].join('<span class="specialchar newline">\\000</span>');
  return { type: 'commit', target_hashes: target_hashes, html: html };
}
function ___specialchars_and_colour_and_hex(str) {
  var s = String(str);
  if (s.substr(0,5) == "tree ") {
    return ___special_tree(s);
  } else if (/^[0-9a-f]{40}\n$/.test(s)) {
    return ___special_hash(s);
  } else if (/^ref: refs\/[^\n]*\n$/.test(s)) {
    return ___special_ref(s);
  } else if(s.substr(0,4) == "DIRC") {
    return ___special_index(s);
  } else if(s.substr(0,7) == "commit ") {
    return ___special_commit(s);
  } else if (s.substr(0, 5) == "blob ") {
    return { type: 'blob', target_hashes: [], html: ___specialchars_and_colour(s) };
  } else if (s.substr(0, 11) == "type length") {
    return { type: 'example object', target_hashes: [], html: ___specialchars_and_colour(s) };
  } else {
    return { type: 'regular file', target_hashes: [], html: ___specialchars_and_colour(s) };
  }
}
function ___specialchars_and_colour_and_hex_and_zlib(s) {
  var inflated = null;
  try {
    inflated = pako.inflate(___stringToUint8Array(s));
  } catch(e) {
    inflated = false;
  }
  if (inflated) {
    var id=___global_unique_id++;
    return {
      html: '<span id="deflated'+id+'-pretty">' +
      /*+*/ '<span class="deflated">deflated:</span>' +
      /*+*/ ___specialchars_and_colour_and_hex(___uint8ArrayToString(inflated)).html +
      /*+*/ '</span>' +
      /*+*/ '<span id="deflated'+id+'-raw" style="display:none">' +
      /*+*/ ___specialchars_and_colour_and_hex(s).html +
      /*+*/ '</span>',
      td: function(td) { td.classList.add('deflate-toggle'); td.setAttribute('onclick', '___deflated_click('+id+')'); }
    };
  } else {
    return { html: ___specialchars_and_colour_and_hex(s).html, td: function() {} };
  }
}
function ___bytestring_to_printf(bs, trailing_x) {
  return 'printf ' + bs.replace(/[^a-zA-Z0-9_]/g, function(c) {
    return '\\\\x' + ___left_pad(c.charCodeAt(0).toString(16), 0, 2);
  }) + (trailing_x ? 'x' : '');
}
function ___filesystem_to_printf(fs) {
  var entries = ___sort_filesystem_entries(fs)
    .map(function (x) {
      if (x[1] === null) {
        return 'd="$('+___bytestring_to_printf(x[0], true)+')"; mkdir "${d%x}";';
      } else {
        return 'f="$('+___bytestring_to_printf(x[0], true)+')"; '+___bytestring_to_printf(x[1], false)+' > "${f%x}";';
      }
    })
    // directories start with 'd' which sorts before 'f'
    .sort(function (a,b) { return (a[0] < b[0] ? -1 : (a[0] > b[0] ? 1 : 0)); });
  return entries.join(' ');
}
function ___deflated_click(id) {
  ___hilite_off();
  if (document.getElementById('deflated'+id+'-pretty').style.display != "none") {
    document.getElementById('deflated'+id+'-pretty').style.display = "none";
    document.getElementById('deflated'+id+'-raw').style.display = '';
  } else {
    document.getElementById('deflated'+id+'-pretty').style.display = '';
    document.getElementById('deflated'+id+'-raw').style.display = "none";
  }
}

function ___is_hashed_object_path(x) {
  var sp = x.split('/');
  return sp.length > 3 && sp[sp.length-3] == 'objects' && /^[0-9a-f]{2}$/.test(sp[sp.length-2]) && /^[0-9a-f]{38}$/.test(sp[sp.length-1]);
}

function ___get_hashed_object_path(x) {
  var sp = x.split('/');
  return sp.slice(sp.length-2).join('');
}

function ___is_ref_path(x) {
  var sp = x.split('/');
  return sp.length > 1 && sp.indexOf('refs') >= 0 && sp.length > sp.indexOf('refs') + 1;
}

function ___get_ref_path(x) {
  var sp = x.split('/');
  var refs_idx = sp.indexOf('refs');
  return sp.slice(refs_idx).join('/');
}

function ___format_filepath(x) {
  var sp = x.split('/');
  if (___is_hashed_object_path(x)) {
    return sp.slice(0, sp.length-2).map(___specialchars_and_colour).join('/')+(sp.length > 2 ? '/' : '') +
     /*+*/ '<span class="object-hash object-hash-'+___get_hashed_object_path(x)+'">' +
     /*+*/ sp.slice(sp.length-2).map(___specialchars_and_colour).join('/') +
     /*+*/ "</span>";
  } else if (___is_ref_path(x)) {
    var refs_idx = sp.indexOf('refs');
    return sp.slice(0, refs_idx).map(___specialchars_and_colour).join('/')+'/' +
     /*+*/ '<span class="object-hash object-hash-'+___get_ref_path(x)+'">'/*TODO*/ +
     /*+*/ sp.slice(refs_idx).map(___specialchars_and_colour).join('/') +
     /*+*/ "</span>";
  } else {
    return ___specialchars_and_colour(x);
  }
}
function ___format_contents(contents) {
  if (contents === null) {
    return { html: '<span class="directory">Directory</span>', td: function() {} };
  } else {
    var specials = ___specialchars_and_colour_and_hex_and_zlib(contents);
    return { html: '<code>' + specials.html + '</code>', td: specials.td };
  }

}
function ___format_entry(previous_filesystem, x) {
  var previous_fs = previous_filesystem || {};
  var tr = document.createElement('tr');
  if (! (previous_fs.hasOwnProperty(x[0]) && previous_fs[x[0]] == x[1])) {
    tr.classList.add('different');
  }

  var td_path = document.createElement('td');
  tr.appendChild(td_path);
  td_path.classList.add('cell-path');

  var td_path_code = document.createElement('code');
  td_path.appendChild(td_path_code);
  td_path_code.innerHTML = ___format_filepath(x[0]);

  var td_contents = document.createElement('td');
  tr.appendChild(td_contents);
  td_contents.classList.add('cell-contents');
  var html_and_function = ___format_contents(x[1]);
  td_contents.innerHTML = html_and_function.html;
  html_and_function.td(td_contents);

  return tr;
}
function ___sort_filesystem_entries(fs) {
  return Object.entries(fs)
    .sort(function (a,b) { return (a[0] < b[0] ? -1 : (a[0] > b[0] ? 1 : 0)); });
}
function ___filesystem_to_table(fs, previous_filesystem) {
  var table = document.createElement('table');
  
  var thead = document.createElement('thead');
  table.appendChild(thead);

  var thead_tr = document.createElement('tr');
  thead.appendChild(thead_tr);
  
  var thead_tr_th_path = document.createElement('th');
  thead_tr.appendChild(thead_tr_th_path);
  thead_tr_th_path.innerText = 'Path';

  var thead_tr_th_contents = document.createElement('th');
  thead_tr.appendChild(thead_tr_th_contents);
  thead_tr_th_contents.classList.add('cell-contents');
  thead_tr_th_contents.innerText = 'Contents';
  
  var tbody = document.createElement('tbody');
  table.appendChild(tbody);
  var entries = ___sort_filesystem_entries(fs);
  for (var i = 0; i < entries.length; i++) {
    tbody.append(___format_entry(previous_filesystem, entries[i]));
  }
  if (entries.length == 0) {
    var tr_empty = document.createElement('tr');
    tbody.append(tr_empty);

    var td_empty = document.createElement('td');
    tr_empty.append(td_empty);
    td_empty.setAttribute('colspan', '2');
    td_empty.classList.add('empty-filesystem');
    td_empty.innerText = "The filesystem is empty.";
  }
  return table;
}
function ___filesystem_serialize(fs) {
  // We could use ___to_hex(JSON.stringify(fs)), but that requires a somewhat recent JavaScript
  // specification, and it would be unfortunate to increase the requirements
  // just for a simple serialization/deserialization
  var serialized = '';
  var entries = ___sort_filesystem_entries(fs);
  for (var i = 0; i < entries.length; i++) {
    var name = ___to_hex(entries[i][0]);
    var contents = entries[i][1] === null ? 'null' : ___to_hex(entries[i][1]);
    serialized += (i == 0 ? '' : ',') + name + ':' + contents;
  }
  return serialized;
}
function ___filesystem_deserialize(str) {
  // We could use JSON.parse(___hex_to_bin(str)), but that requires a somewhat recent JavaScript
  // specification, and it would be unfortunate to increase the requirements
  // just for a simple serialization/deserialization
  var deserialized = {};
  var entries = str.split(',');
  for (var i = 0; i < entries.length; i++) {
    var entry = entries[i].split(':');
    deserialized[___hex_to_bin(entry[0])] = (entry[1] == 'null' ? null : ___hex_to_bin(entry[1]));
  }
  return deserialized;
}
function ___filesystem_to_string(fs, just_table, previous_filesystem) {
  var entries = ___sort_filesystem_entries(fs);
  var id = ___global_unique_id++;
  var html = '';
  if (! just_table) {
    html += 'Filesystem contents: ' + entries.length + " files and directories. " +
      /*+*/ '<a href="javascript: ___copyzip_click(\'serialized-'+id+'\');">Download as .zip</a>' +
      /*+*/ ' or ' +
      /*+*/ '<a href="javascript: ___copyprintf_click(\'elem-'+id+'\');">' +
      /*+*/ "Copy commands to recreate in *nix terminal" +
      /*+*/ "</a>." +
      /*+*/ "<br />" +
      /*+*/ '<textarea id="elem-'+id+'" disabled="disabled" style="display:none">' +
      /*+*/ ___specialchars(___filesystem_to_printf(fs) || 'echo "Empty filesystem."') +
      /*+*/ '</textarea>' +
      /*+*/ '<textarea id="serialized-'+id+'" disabled="disabled" style="display:none">' +
      /*+*/ ___filesystem_serialize(fs) +
      /*+*/ '</textarea>';
  }
  html += ___filesystem_to_table(fs, previous_filesystem).outerHTML; // TODO: use DOM primitives instead.
  return html;
}
function ___textarea_value(elem) {
  if (elem.getValue) {
    return elem.getValue();
  } else {
    return elem.value;
  }
}
function ___copyzip_click(id) {
  var fs = ___filesystem_deserialize(document.getElementById(id).value);

  var paths = Object.keys(fs);
  var hierarchy = { subfolders: {}, files: [] };

  // This splits the input paths on occurrences of "/",
  // and inserts them into the "hierarchy" object.
  for (var i = 0; i < paths.length; i++) {
    var path_components = paths[i].split('/');
    var h = hierarchy;
    for (var j = 0; j < path_components.length - 1; j++) {
      if (! h.subfolders.hasOwnProperty(path_components[j])) {
        h.subfolders[path_components[j]] = {
          subfolders: {},
          files: []
        };
      }
      h = h.subfolders[path_components[j]];
    }
    if (fs[paths[i]] === null) {
      // directory
      var last_component = path_components[path_components.length - 1];
      if (!h.subfolders.hasOwnProperty(last_component)) {
        h.subfolders[last_component] = {
          subfolders: {},
          files: []
        };
      }
    } else {
      // file
      h.files[h.files.length] = path_components[path_components.length - 1];
    }
  }

  var join_paths = function(a, b) {
    return (a == "") ? b : (a + "/" + b);
  };
  
  var add_to_zip = function(zip, base_directory, hierarchy) {
    for (var i in hierarchy.subfolders) {
      if (hierarchy.subfolders.hasOwnProperty(i)) {
        var zipfolder = zip.folder(i);
        add_to_zip(zipfolder, join_paths(base_directory, i), hierarchy.subfolders[i]);
      }
    }
    for (var f = 0; f < hierarchy.files.length; f++) {
      var filename = hierarchy.files[f];
      zip.file(filename, ___stringToUint8Array(fs[join_paths(base_directory, filename)]), {binary: true});
    }
  };

  var zip = new JSZip();
  add_to_zip(zip, '', hierarchy);

  /*zip.file("Hello.txt", "Hello World\n");
  var img = zip.folder("images");
  img.file("Foo.txt", ___stringToUint8Array("ha\xffha\0ha\n"), {binary: true});*/
  var content = zip.generate({type:"blob"});
  saveAs(content, "filesystem_git_tutorial.zip");
}
function ___copyprintf_click(id) {
  ___hilite_off();
  var elem = document.getElementById(id);
  if (elem.style.display != "none") {
    elem.style.display = "none";
  } else {
    elem.style.display = '';
    elem.focus();
    elem.disabled = false;
    elem.select();
    elem.setSelectionRange(0, elem.value.length * 10); // for mobile devices?
    document.execCommand('copy');
    elem.disabled = true;
  }
}
var ___script_log_header = '' +
  /*+*/ 'var ___log = [];\n' +
  /*+*/ 'var alert = (function (real_console, real_alert) {\n' +
  /*+*/ '  return function(message) {\n' +
  /*+*/ '    ___log[___log.length] = { alert: true, txt: message };\n' +
  /*+*/ '    if (real_console && real_console.log) { real_console.log("alert:", message); }\n' +
  /*+*/ '  };\n' +
  /*+*/ '})(window.console, window.alert);\n' +
  /*+*/ 'var console = (function(real_console) {\n' +
  /*+*/ '  return {\n' +
  /*+*/ '    log: function() {\n' +
  /*+*/ '      ___log[___log.length] = { alert: false, txt: Array.from(arguments).map(function (x) { return x.toString(); }).join(", ") };\n' +
  /*+*/ '      if (real_console && real_console.log) { real_console.log.apply(real_console, arguments); }\n' +
  /*+*/ '    },\n' +
  /*+*/ '    assert: real_console.assert,\n' +
  /*+*/ '  };\n' +
  /*+*/ '})(window.console);\n' +
  /*+*/ '\n';

function ___file_contents_to_graphview(filesystem, path_of_this_file, s) {
  var gv = '';
  var s2 = null;
  try {
    var inflated = pako.inflate(___stringToUint8Array(s));
    if (inflated) {
      s2 = ___uint8ArrayToString(inflated);
    } else {
      s2 = s;
    }
  } catch(e) {
    s2 = s;
  }
  var special = ___specialchars_and_colour_and_hex(s2);
  var target_hashes = special.target_hashes;
  var type = special.type;
  var paths = Object.keys(filesystem);
  for (var i = 0; i < paths.length; i++) {
    if (___is_hashed_object_path(paths[i])) {
      if (target_hashes.indexOf(___get_hashed_object_path(paths[i])) != -1) {
        gv += ___quote_gv(path_of_this_file) + ' -> ' + ___quote_gv(paths[i]) + ' ['+___ref_edge_style+']';
      }
    }
    if (___is_ref_path(paths[i])) {
      if (target_hashes.indexOf(___get_ref_path(paths[i])) != -1) {
        gv += ___quote_gv(path_of_this_file) + ' -> ' + ___quote_gv(paths[i]) + ' ['+___ref_edge_style+']';
      }
    }
  }
  return { gv:gv, type: type };
}

var ___directory_edge_style = 'color="#c0c0ff", style=dashed';
var ___ref_edge_style = 'color="red", penwidth=2';
var ___previous_file_node_style = 'color = "#808080", fontcolor = "#808080", class = dimmed_previous';
var ___previous_directory_node_style = 'color = "#80c5c5", fontcolor = "#80c5c5", class = dimmed_previous_directory';
var ___directory_node_style = 'color = "#008b8b", fontcolor = "#008b8b"'; // darkcyan = #008b8b

function ___quote_gv(name) {
  if (window.console && window.console.log) { window.console.log('TODO: escape GV'); }
  return '"' + name.replace('\n', '\\n') + '"';
}

function ___entry_to_graphview(previous_filesystem, filesystem, x) {
  var gv = '';
  gv += ___quote_gv(x[0]) + '\n';
  
  var components = x[0].split('/');

  var shortname = components[components.length - 1];
  if (___is_hashed_object_path(x[0])) {
    // var hash = components.slice(components.length-2).join('');
    shortname = shortname.substr(0, 3) + '…';
  }

  var parent = components.slice(0, components.length - 1).join('/');
  if (parent != '') {
    if (filesystem.hasOwnProperty(parent)) {
      gv += ___quote_gv(parent) + ' -> ' + ___quote_gv(x[0]) + ' ['+___directory_edge_style+'];\n';
    } else {
      shortname = parent + '/' + shortname;
    }
  }

  // Put a transparent background to make the nodes clickable.
  gv += ___quote_gv(x[0]) + ' [ style="filled", fillcolor="transparent" ]';

  // contents of the file as a tooltip:
  gv += ___quote_gv(x[0]) + ' [ tooltip = ' + ___quote_gv(x[0]) + ' ]';

  var id = 'gv-' + (___global_unique_id++);
  gv += ___quote_gv(x[0]) + ' [ id="' + id + '" ]';

  if (x[1] === null) {
    if (shortname.length <= 2) {
      shortname = shortname + '\ndir';
    } else {
      shortname = shortname + '\ndirectory';
    }
    if (previous_filesystem.hasOwnProperty(x[0])) {
      // dim nodes that existed in the previous_filesystem
      gv += ___quote_gv(x[0]) + ' [' + ___previous_directory_node_style + ']';
    } else {
      gv += ___quote_gv(x[0]) + ' [ ' + ___directory_node_style + ' ]';
    }
  } else {
    var contents = ___file_contents_to_graphview(filesystem, x[0], x[1]);
    shortname = shortname + '\n(' + contents.type + ')';
    gv += contents.gv;
    if (previous_filesystem.hasOwnProperty(x[0])) {
      // dim nodes that existed in the previous_filesystem
      gv += ___quote_gv(x[0]) + ' [' + ___previous_file_node_style + ']';
    }
  }

  // shortname as a label
  gv += ___quote_gv(x[0]) + ' [ label = ' + ___quote_gv(shortname) + ' ]';

  return { id:id, gv:gv };
}

var ___current_hover_graphview = null;
var ___sticky_hover_graphview = false;
function ___click_graphview_hover(id, default_id) {
  if (___sticky_hover_graphview && ___current_hover_graphview === id) {
    ___sticky_hover_graphview = false;
    ___hide_graphview_hover(id, default_id);
  } else {
    ___sticky_hover_graphview = true;
    ___show_graphview_hover(id, default_id);
  }
}

function ___mouseout_graphview_hover(id, default_id) {
  if (!___sticky_hover_graphview) {
    ___hide_graphview_hover(id, default_id);
  }
}

function ___mouseover_graphview_hover(id, default_id) {
  if (!___sticky_hover_graphview) {
    ___show_graphview_hover(id, default_id);
  }
}

function ___show_graphview_hover(id, default_id) {
  if (___current_hover_graphview !== null) {
    ___hide_graphview_hover(___current_hover_graphview, default_id);
  }
  ___current_hover_graphview = id;
  // There's a bug on chrome mobile which still shows the border despite the hidden visibility,
  // hoping opacity: 0 and pointer-events: none will fix this.
  document.getElementById(default_id).style.visibility = 'hidden';
  document.getElementById(default_id).style.opacity = '0';
  document.getElementById(default_id).style.pointerEvents = 'none';
  document.getElementById(id).style.visibility = 'visible';
  document.getElementById(id).style.opacity = '1';
  document.getElementById(id).style.pointerEvents = 'auto';
}

function ___hide_graphview_hover(id, default_id) {
  ___hilite_off();
  ___current_hover_graphview = default_id;
  document.getElementById(default_id).style.visibility = 'visible';
  document.getElementById(default_id).style.opacity = '1';
  document.getElementById(default_id).style.pointerEvents = 'auto';
  document.getElementById(id).style.visibility = 'hidden';
  document.getElementById(id).style.opacity = '0';
  document.getElementById(id).style.pointerEvents = 'none';
}

var ___legend = '' +
/*+*/ '<div class="legend">' +
/*+*/ '<div class="legend-title">Legend:</div>' +
/*+*/ Viz(
  'digraph legend {\n' +
  '  bgcolor=transparent;\n' +
  '  ranksep=0;\n' +
  '  "parent"   [label="parent directory",    style=filled, fillcolor=white, ' + ___directory_node_style + '];\n' +
  '  "child"    [label="child",               style=filled, fillcolor=white];\n' +
  '  "ref"      [label="reference to abcdef", style=filled, fillcolor=white];\n' +
  '  "abcdef"   [label="…/.git/ab/cdef",      style=filled, fillcolor=white];\n' +
  '  "existing" [label=<existing file<br/><font color="#80c5c5">existing dir</font>>,   style=filled, fillcolor=white, ' + ___previous_file_node_style + '];\n' +
  '  "new"      [label=<new file<br/><font color="#008b8b">new dir</font>>,        style=filled, fillcolor=white];\n' +
  '  "parent" -> "child" ['+___directory_edge_style+'];\n' +
  '  "ref" -> "abcdef" ['+___ref_edge_style+'];\n' +
  '  "existing" -> "new" [style=invis];\n' +
  '}') +
/*+*/ '</div>' +
/*+*/ '</div>';

function ___filesystem_to_graphview(filesystem, previous_filesystem) {
  var html = '';
  html += '<div class="graph-view-tooltips hilite-nodest">';
  var entry_hover_default_id = ___global_unique_id++;
  html += '<div class="graph-view-tooltips-default" id="'+entry_hover_default_id+'">';
  html += 'Hover a node to view its contents, click or tap to pin it.';
  html += ___legend;
  var gv = "digraph graph_view {";
  var ids = [];
  var entries = ___sort_filesystem_entries(filesystem);
  for (var i = 0; i < entries.length; i++) {
    var entry = ___entry_to_graphview(previous_filesystem, filesystem, entries[i]);
    gv += entry.gv;
    var entry_hover_id = ___global_unique_id++;
    var entry_hover = '';
    entry_hover += '<div id="' + entry_hover_id + '" style="visibility: hidden; opacity: 0; pointer-events: none;">';
    //entry_hover += 'hover for ' + entries[i][0];
    entry_hover += '<table><thead><tr><th class="cell-path">' + ___format_filepath(entries[i][0]) + '</th></tr></thead>';
    // TODO: use the .td function here too.
    entry_hover += '<tbody><tr><td>' + ___format_contents(entries[i][1]).html + '</td></tr></tbody></table>';
    entry_hover += '</div>';
    html += entry_hover;
    ids.push({ id: entry.id, entry_hover_id: entry_hover_id });
  }
  gv += '}';
  var js = function () {
    for (var i = 0; i < ids.length; i++) {
      var el = document.getElementById(ids[i].id);
      el.setAttribute('onclick',         '___click_graphview_hover(' + ids[i].entry_hover_id + ', '+entry_hover_default_id+')');
      el.setAttribute('onmouseover', '___mouseover_graphview_hover(' + ids[i].entry_hover_id + ', '+entry_hover_default_id+')');
      el.setAttribute('onmouseout',   '___mouseout_graphview_hover(' + ids[i].entry_hover_id + ', '+entry_hover_default_id+')');
    }
  };
  html += "</div>";
  html += Viz(gv, "svg");
  if (entries.length == 0) {
    return { js: js, html: '<br/>' };
  } else {
    return { js: js, html: '<div class="graph-view">' + html + '</div>' };
  }
}

function ___log_to_html(log) {
  return '<pre class="log">' +
   /*+*/ log.map(function(l) {
           return '<div class="' + (l.alert ? 'log-alert' : 'log-log') + '">' +
            /*+*/ ___specialchars(l.txt) +
            /*+*/ '</div>';
         }).join('\n') +
   /*+*/ '</pre>';
}

function ___eval_result_to_html(id, filesystem, previous_filesystem, log, quiet, omit_graph) {
  var loghtml = ___log_to_html(log);
  var table = ___filesystem_to_string(filesystem, quiet, previous_filesystem);
  var gv = ___filesystem_to_graphview(filesystem, previous_filesystem);
  var html = (log.length > 0 ? '<p>Console output:</p>' + loghtml : '') +
         /*+*/ (omit_graph ? '' : gv.html) +
         /*+*/ table;
  document.getElementById(id).innerHTML = '<div class="hilite-wrapper">' + html + '</div>';
  if (!omit_graph) { gv.js(); }
}
function ___git_eval(current) {
  document.getElementById('hide-eval-' + current).style.display = '';
  var script = ___script_log_header;
  script += 'try {';
  for (var i = 0; i <= current - 1; i++) {
    script += ___textarea_value(___global_editors[i]);
  }
  script += '\n' +
      /*+*/ 'var ___previous_filesystem = {};\n' +
      /*+*/ 'for (k in filesystem) { ___previous_filesystem[k] = filesystem[k]; }\n' +
      /*+*/ '___log = [];\n';
  script += ___textarea_value(___global_editors[current]);
  script += '\n' +
      /*+*/ '} catch (e) {' +
      /*+*/ '  if (("" + e.message).indexOf("GIT: assertion failed: ") != 0) {' +
      /*+*/ '    throw e;' +
      /*+*/ '  } else {' +
      /*+*/ '    ___log.push({ alert: true, txt: "command failed" });' +
      /*+*/ '  }' +
      /*+*/ '}' +
      /*+*/ '"End of the script";\n' +
      /*+*/ '\n' +
      /*+*/ '\n' +
      /*+*/ '___eval_result_to_html("out" + current, filesystem, ___previous_filesystem, ___log, false);\n' +
      /*+*/ 'filesystem;\n';
  try {
    /* jslint evil: true */ eval(script); /* jslint evil: false */
  } catch (e) {
    // Stack traces usually include :line:column
    var rx = /:([0-9][0-9]*):[0-9][0-9]*/g;
    var linecol = rx.exec(''+e.stack);
    var line = null;
    if (linecol && linecol.length > 0) {
      line=parseInt(linecol[1], 10);
    } else {
      // Some older versions of Firefox and probably some other browsers use just :line
      var rx2 = /:([0-9][0-9]*)*/g;
      var justline = rx2.exec(''+e.stack);
      if (justline && justline.length > 0) {
        line=parseInt(justline[1], 10);
      }
    }
    var showline = null;
    if (typeof(line) == 'number') {
      var lines = script.split('\n');
      if (line < lines.length) {
        var from = Math.max(0, line-2);
        var to = Math.min(lines.length - 1, line+2+1);
        showline = '' +
               /*+*/ 'Possible location of the error: near line ' + line + '\n' +
               /*+*/ '\n' +
               /*+*/ lines.slice(from, to).map(function(l, i) { return '' + (from + i) + ': ' + l; }).join('\n') +
               /*+*/ '\n' +
               /*+*/ '\n';
      }
    } else {
      showline = 'Sorry, this tutorial could not pinpoint precisely\nthe location of the error.\n' +
             /*+*/ 'The stacktrace below may contain more information.\n';
    }
    var error = ___specialchars("" + e + "\n\n" + e.stack);
    document.getElementById('out' + current).innerHTML = '<pre class="error">' + showline + error + '</pre>';
  }
}

function ___level(s) {
  if (s) {
    return (s.tagName == 'SECTION' ? 1 : 0) + ___level(s.parentElement);
  } else {
    return 0;
  }
}
function ___process_elements() {
  var sections = document.getElementsByTagName('section');
  var stack = [[]];
  var previousLevel = 1;
  for (var i = 0; i < sections.length; i++) {
    var level = ___level(sections[i]);
    while (level < previousLevel) {
      stack.pop();
      previousLevel--;
    }
    while (level > previousLevel) {
      var top_of_stack = stack[stack.length-1];
      stack.push(top_of_stack[top_of_stack.length-1].subsections);
      previousLevel++;
    }
    stack[stack.length-1].push({ s: sections[i], subsections: [] });
  }
  var nested = stack[0];
  document.getElementById('toc').appendChild(___sections_to_html(nested));
}
function ___sections_to_html(sections) {
  var ol = document.createElement('ol');
  for (var i = 0; i < sections.length; i++) {
    var li = document.createElement('li');
    ol.appendChild(li);
    var headers = sections[i].s.querySelectorAll('h2,h3');
    if (!headers || headers.length < 1) {
      if (window.console && window.console.log) { window.console.log("internal error: found no headers in section"); }
      continue;
    }
    var target = sections[i].s.getAttribute('id');
    var a = document.createElement('a');
    li.appendChild(a);
    a.innerHTML = headers[0].innerHTML;
    if (target) { a.setAttribute('href', '#' + target); }
    if (target) {
      var a2 = document.createElement('a');
      var hd = headers[0];
      hd.parentElement.replaceChild(a2, hd);
      a2.appendChild(hd);
      a2.className = "permalink";
      a2.setAttribute('href', '#' + target);
      //a2.innerHTML += "🔗"
    }
    li.appendChild(___functions_to_html(sections[i].s));
    li.appendChild(___sections_to_html(sections[i].subsections));
  }
  return ol;
}
function ___insertAfter(elt, ref) {
  ref.parentElement.insertBefore(elt, ref.nextSibling);
}
function ___ancestor(elem, tag) {
  if (! elem) {
    return false;
  }
  if (elem.tagName.toLowerCase() == tag) {
    return elem;
  }
  return ___ancestor(elem.parentElement, tag);
}
var ___global_editors = [];
function ___functions_to_html(section) {
  var ul = document.createElement('ul');
  var tas = section.getElementsByTagName('textarea');
  var ta = [];
  // Since CodeMirror replaces the textareas, the collection of HTML nodes
  // is automatically updated in some browsers, and the indices become wrong
  // after a replacement, so we copy the HTML element collection to a proper array.
  for (var i = 0; i < tas.length; i++) { ta[i] = tas[i]; }
  for (var j = 0; j < ta.length; j++) {
    if (___ancestor(ta[j], 'section') == section) {
      var lines = ta[j].value.split('\n');
      var ret = ___toCodeMirror(ta[j]);
      var editor = ret.editor;
      var editor_id = ret.editor_id;
      editor.on('keydown', ___clearScrolledToLine);
      for (var k = 0; k < lines.length; k++) {
        var text = false;
        
        var fun = lines[k].match(/^function\s+([a-zA-Z_][a-zA-Z0-9_]*)/);
        if (fun) { text = fun[1]; }
        var v = lines[k].match(/^var\s+([a-zA-Z_][a-zA-Z0-9_]*)\s*=/);
        if (v) { text = v[1]; }
        if (text) {
          var li = document.createElement('li');
          var a = document.createElement('a');
          /* split the javascript: … string to prevent jslint from complaining. */
          var js = 'java'+'script';
          a.setAttribute('href', js + ': ___scrollToLine(___global_editors['+(editor_id)+'], '+k+'); void(0);');
          var code = document.createElement('code');
          if (fun) {
            var spanFunction = document.createElement('span');
            spanFunction.className = 'function';
            spanFunction.innerText = text;
            var parens = document.createTextNode('()');
            code.appendChild(spanFunction);
            code.appendChild(parens);
          } else {
            code.className = 'assignment';
            code.innerText = text;
          }
          a.appendChild(code);
          li.appendChild(a);
          ul.appendChild(li);
        }
      }
    }
  }
  return ul;
}
var ___global_current_highlighted_editor_and_line = false;
function ___clearScrolledToLine() {
  var current = ___global_current_highlighted_editor_and_line;
  if (current) {
    current.editor.removeLineClass(current.line, 'background', 'scrolled-to-line');
  }
  ___global_current_highlighted_editor_and_line = false;
}
function ___scrollToLine(editor, line) {
  ___clearScrolledToLine();
  ___global_current_highlighted_editor_and_line = { editor: editor, line: line };
  editor.addLineClass(line, 'background', 'scrolled-to-line');
  var editorOffset = ___getOffset(editor.getScrollerElement()).top;
  var lineOffset = editor.charCoords({line: line, ch: 0}, "local").top;
  document.body.scrollTo(0, editorOffset + lineOffset - window.innerHeight/2);
}
function ___toCodeMirror(ta) {
  var editor = CodeMirror.fromTextArea(ta, {
    mode: 'javascript',
    lineNumbers: true,
    viewportMargin: Infinity
  });
  var id = ta.getAttribute('id');
  ta.remove();
  var wrapper = editor.getWrapperElement();
  wrapper.setAttribute('id', id);
  var editor_id = ___global_editors.length;
  ___global_editors[editor_id] = editor;
  var eval_button = document.createElement('input');
  eval_button.setAttribute('type', 'button');
  eval_button.setAttribute('value', 'eval');
  eval_button.setAttribute('onclick', '___git_eval('+editor_id+')');
  ___insertAfter(eval_button, wrapper);
  var hide_eval_button = document.createElement('input');
  hide_eval_button.setAttribute('id', 'hide-eval-' + editor_id);
  hide_eval_button.setAttribute('type', 'button');
  hide_eval_button.setAttribute('value', 'hide output');
  hide_eval_button.setAttribute('onclick', '___hide_eval('+editor_id+')');
  hide_eval_button.style.display = 'none';
  ___insertAfter(hide_eval_button, eval_button);
  var out_div = document.createElement('div');
  out_div.setAttribute('id', 'out' + editor_id);
  ___insertAfter(out_div, hide_eval_button);
  return { editor: editor, editor_id: editor_id };
}
function ___hide_eval(editor_id) {
  document.getElementById('out' + editor_id).innerHTML = '';
  document.getElementById('hide-eval-' + editor_id).style.display = 'none';
  ___hilite_off();
}
function ___get_all_code() {
  var all = '';
  for (var i = 0; i < ___global_editors.length; i++) {
    var val = ___global_editors[i].getValue();
    all += val + (val.endsWith('\n') ? '' : '\n') + (val.endsWith('\n\n') ? '' : '\n');
  }
  return all.substr(0, all.length-1/*remove last newline in the last \n\n*/);
}
function ___copy_all_code() {
  var elem = document.getElementById('copy-all-code');
  if (elem.style.display != "none") {
    elem.style.display = "none";
  } else {
    elem.style.display = '';
    var elem2 = document.createElement('textarea');
    elem.innerHTML = '';
    elem.appendChild(elem2);
    var all_code = ___get_all_code();
    elem2.value = all_code;
    elem2.focus();
    elem2.disabled = false;
    elem2.select();
    elem2.setSelectionRange(0, elem2.value.length * 10); // for mobile devices?
    document.execCommand('copy');
    elem2.disabled = true;
  }
}

function ___loc_count() {
  var srclines = ___get_all_code().split('\n');
  var lcv = srclines.filter(function (l) { return ! (/^(\s*}?)?$/.test(l)); }).length;
  var lc = document.getElementsByClassName('loc-count');
  for (var i = 0; i < lc.length; i++) {
    lc[i].innerText = lcv;
  }
  var lctv = srclines.length;
  var lct = document.getElementsByClassName('loc-count-total');
  for (var j = 0; j < lct.length; j++) {
    lct[j].innerText = lctv;
  }
}

function ___git_tutorial_onload() {
  ___process_elements();
  ___loc_count();
}

/* remove jslint "unused variable" warnings for these */
var ___jslint_variables_called_from_event_handlers_and_from_tutorial = [
  ___scroll_to_dest,
  ___lolite,
  ___deflated_click,
  ___copyzip_click,
  ___copyprintf_click,
  ___click_graphview_hover,
  ___mouseout_graphview_hover,
  ___mouseover_graphview_hover,
  ___eval_result_to_html,
  ___git_eval,
  ___scrollToLine,
  ___hide_eval,
  ___copy_all_code,
  ___git_tutorial_onload,
  sha1_from_bytes_returns_hex,
  inflate,
  deflate
];
// also ignore this dummy variable.
___jslint_variables_called_from_event_handlers_and_from_tutorial = ___jslint_variables_called_from_event_handlers_and_from_tutorial;