diff --git a/butterfly/static/ext.js b/butterfly/static/ext.js
index 1e69c11..9cc98e2 100644
--- a/butterfly/static/ext.js
+++ b/butterfly/static/ext.js
@@ -1,5 +1,5 @@
(function() {
- var Popup, Selection, _set_theme_href, _theme, alt, cancel, clean_ansi, copy, ctrl, escape, first, histSize, linkify, maybePack, nextLeaf, packSize, popup, previousLeaf, selection, setAlarm, tags, tid, virtualInput, walk,
+ var Popup, Selection, _set_theme_href, _theme, cancel, clean_ansi, copy, escape, histSize, linkify, maybePack, nextLeaf, packSize, popup, previousLeaf, selection, setAlarm, tags, tid, walk,
indexOf = [].indexOf || function(item) { for (var i = 0, l = this.length; i < l; i++) { if (i in this && this[i] === item) return i; } return -1; };
clean_ansi = function(data) {
@@ -121,14 +121,14 @@
});
addEventListener('copy', copy = function(e) {
- var data, end, j, len1, line, ref, sel;
+ var data, end, j, len, line, ref, sel;
document.getElementsByTagName('body')[0].contentEditable = false;
butterfly.bell("copied");
e.clipboardData.clearData();
sel = getSelection().toString().replace(/\u00A0/g, ' ').replace(/\u2007/g, ' ');
data = '';
ref = sel.split('\n');
- for (j = 0, len1 = ref.length; j < len1; j++) {
+ for (j = 0, len = ref.length; j < len; j++) {
line = ref[j];
if (line.slice(-1) === '\u23CE') {
end = '';
@@ -185,10 +185,10 @@
});
walk = function(node, callback) {
- var child, j, len1, ref, results;
+ var child, j, len, ref, results;
ref = node.childNodes;
results = [];
- for (j = 0, len1 = ref.length; j < len1; j++) {
+ for (j = 0, len = ref.length; j < len; j++) {
child = ref[j];
callback.call(child);
results.push(walk(child, callback));
@@ -661,7 +661,7 @@
}
oReq = new XMLHttpRequest();
oReq.addEventListener('load', function() {
- var j, len1, out, ref, response, session;
+ var j, len, out, ref, response, session;
response = JSON.parse(this.responseText);
out = '
';
out += '
Session list
';
@@ -670,7 +670,7 @@
} else {
out += '
';
ref = response.sessions;
- for (j = 0, len1 = ref.length; j < len1; j++) {
+ for (j = 0, len = ref.length; j < len; j++) {
session = ref[j];
out += "- " + session + "
";
}
@@ -725,7 +725,7 @@
}
oReq = new XMLHttpRequest();
oReq.addEventListener('load', function() {
- var builtin_themes, inner, j, k, len1, len2, option, response, theme, theme_list, themes, url;
+ var builtin_themes, inner, j, k, len, len1, option, response, theme, theme_list, themes, url;
response = JSON.parse(this.responseText);
builtin_themes = response.builtin_themes;
themes = response.themes;
@@ -742,7 +742,7 @@
option("/static/main.css", 'default');
if (themes.length) {
inner += '';
}
inner += '