diff options
Diffstat (limited to 'common/content/ui.js')
-rw-r--r-- | common/content/ui.js | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/common/content/ui.js b/common/content/ui.js index 52357f99..1da69d11 100644 --- a/common/content/ui.js +++ b/common/content/ui.js @@ -714,9 +714,7 @@ function CommandLine() //{{{ elements[elements.length - 1].scrollIntoView(true); } else - { win.scrollTo(0, doc.height); - } win.focus(); @@ -1413,9 +1411,7 @@ function CommandLine() //{{{ setTimeout(function () { multilineInputWidget.inputField.focus(); }, 0); } else if (event.type == "input") - { autosizeMultilineInputWidget(); - } return true; }, @@ -1462,9 +1458,7 @@ function CommandLine() //{{{ tabs.select(parseInt(event.originalTarget.parentNode.parentNode.firstChild.textContent, 10) - 1); } else - { openLink(liberator.CURRENT_TAB); - } break; case "<MiddleMouse>": case "<C-LeftMouse>": @@ -1635,9 +1629,7 @@ function CommandLine() //{{{ events.onKeyPress(event); } else - { commandline.updateMorePrompt(showMorePrompt, showMoreHelpPrompt); - } }, getSpaceNeeded: function getSpaceNeeded() @@ -2157,9 +2149,7 @@ function StatusLine() //{{{ progress = ""; if (typeof progress == "string") - { progressWidget.value = progress; - } else if (typeof progress == "number") { let progressStr = ""; |