gryf/pentadactyl-pm
1
0
Fork 0
mirror of https://github.com/gryf/pentadactyl-pm.git synced 2025-12-23 21:02:25 +01:00
Code Issues Projects Releases Wiki Activity

Turn off white-space:pre for the completions list

Browse Source
This commit is contained in:
Kris Maglione
2008-11-02 01:56:30 +00:00
parent c03fdade9c
commit b334f2538d
2 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
content/template.js
View File

@@ -112,12 +112,12 @@ const template = {
if (str == "") if (str == "")
return <>{str}</>; return <>{str}</>;
XML.ignoreWhitespace = false;
str = String(str).replace(" ", "\u00a0"); str = String(str).replace(" ", "\u00a0");
let s = <></>; let s = <></>;
let start = 0; let start = 0;
for (let [i, length] in iter) for (let [i, length] in iter)
{ {
XML.ignoreWhitespace = false;
s += <>{str.substring(start, i)}</>; s += <>{str.substring(start, i)}</>;
s += <span class="hl-Filter">{str.substr(i, length)}</span>; s += <span class="hl-Filter">{str.substr(i, length)}</span>;
start = i + length; start = i + length;

8
content/ui.js
View File

@@ -235,7 +235,7 @@ function CommandLine() //{{{
*/ */
XML.ignoreWhitespace = typeof str == "xml"; XML.ignoreWhitespace = typeof str == "xml";
var output = <div class={"ex-command-output " + highlightGroup} style={"min-width: " + commandlineWidget.scrollWidth + "px"}>{template.maybeXML(str)}</div>; var output = <div class={"ex-command-output " + highlightGroup} style={"min-width: " + commandlineWidget.scrollWidth + "px"}>{template.maybeXML(str)}</div>;
XML.ignoreWhiteSpace = true; XML.ignoreWhitespace = true;
lastMowOutput = output; lastMowOutput = output;
@@ -1321,7 +1321,6 @@ function ItemList(id) //{{{
if (typeof a == "function") if (typeof a == "function")
a = a(); a = a();
XML.ignoreWhitespace = true;
let row = let row =
<ul class="hl-CompItem"> <ul class="hl-CompItem">
<li class="hl-CompIcon">{a ? <img src={a}/> : <></>}</li> <li class="hl-CompIcon">{a ? <img src={a}/> : <></>}</li>
@@ -1372,9 +1371,10 @@ function ItemList(id) //{{{
// do a full refill of the list: // do a full refill of the list:
XML.ignoreWhitespace = true; XML.ignoreWhitespace = true;
let div = <div class="ex-command-output hl-Normal"> let minWidth = document.getElementById("liberator-commandline").scrollWidth;
let div = <div class="ex-command-output hl-Normal"
style={"white-space: normal; min-width: " + minWidth + "px"}>
<span class="hl-Title">Completions:</span> <span class="hl-Title">Completions:</span>
<div class="hl-Completions"> <div class="hl-Completions">
{ {