gryf/pentadactyl-pm
1
0
Fork 0
mirror of https://github.com/gryf/pentadactyl-pm.git synced 2026-02-26 11:05:46 +01:00
Code Issues Projects Releases Wiki Activity

Fix command line padding

Browse Source
This commit is contained in:
Kris Maglione
2008-12-06 10:03:12 -05:00
parent 983c2be92b
commit 2df1016bd5
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
common/content/style.js
View File

@@ -24,7 +24,7 @@ Highlights.prototype.CSS = <![CDATA[
NonText color: blue; min-height: 16px; padding-left: 2px; NonText color: blue; min-height: 16px; padding-left: 2px;
Preview color: gray; Preview color: gray;
CmdLine font-family: monospace; padding: 1px; CmdLine,>* font-family: monospace; padding: 1px;
CompGroup CompGroup
CompGroup:not(:first-of-type) margin-top: .5em; CompGroup:not(:first-of-type) margin-top: .5em;
@@ -177,6 +177,9 @@ function Highlights(name, store, serial)
.forEach(function (style) .forEach(function (style)
{ {
style = Highlight.apply(Highlight, Array.slice(style.match(/^\s*([^,\s]+)(?:,([^,\s]+)?)?(?:,([^,\s]+))?\s*(.*)$/), 1)); style = Highlight.apply(Highlight, Array.slice(style.match(/^\s*([^,\s]+)(?:,([^,\s]+)?)?(?:,([^,\s]+))?\s*(.*)$/), 1));
if (/^[>+ ]/.test(style.selector))
style.selector = self.selector(style.class + style.selector);
let old = highlight[style.class]; let old = highlight[style.class];
highlight[style.class] = style; highlight[style.class] = style;
if (old && old.value != old.default) if (old && old.value != old.default)