diff options
author | Kris Maglione <maglione.k@gmail.com> | 2010-10-15 00:30:03 -0400 |
---|---|---|
committer | Kris Maglione <maglione.k@gmail.com> | 2010-10-15 00:30:03 -0400 |
commit | a3799d3d05a053bb00a748943d7676453c921c82 (patch) | |
tree | e8ad8b0fb9daabccd6fe75e22e63fe790b5ac5a3 /common/content/commandline.js | |
parent | bea1c208587795df007057cb15bbffc57f1a6743 (diff) | |
download | pentadactyl-a3799d3d05a053bb00a748943d7676453c921c82.tar.gz |
Import (and augment) my cookies plugin per Doug's suggestion, and improve dactyl.generateHelp (and :yank).
Diffstat (limited to 'common/content/commandline.js')
-rw-r--r-- | common/content/commandline.js | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/common/content/commandline.js b/common/content/commandline.js index 0ec215b6..1bfbcfb9 100644 --- a/common/content/commandline.js +++ b/common/content/commandline.js @@ -1571,8 +1571,6 @@ const CommandLine = Module("commandline", { if (typeof arg === "object") arg = util.objectToString(arg, useColor); - else if (typeof arg === "string" && /\n/.test(arg)) - arg = <span highlight="CmdOutput">{arg}</span>; else arg = String(arg); @@ -1983,7 +1981,8 @@ const ItemList = Class("ItemList", { this._fill(newOffset); if (index >= 0) { this._getCompletion(index).setAttribute("selected", "true"); - util.scrollIntoView(this._getCompletion(index)); + if (this._container.height != 0) + util.scrollIntoView(this._getCompletion(index)); } //if (index == 0) |