gryf/pentadactyl-pm
1
0
Fork 0
mirror of https://github.com/gryf/pentadactyl-pm.git synced 2025-12-20 06:07:59 +01:00
Code Issues Projects Releases Wiki Activity

Fix coloring of command line with go+=c.

Browse Source
This commit is contained in:
Kris Maglione
2010-11-05 12:10:53 -04:00
parent fde5c046a5
commit 7815a85d7d
2 changed files with 13 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
common/content/commandline.js
View File

@@ -23,6 +23,7 @@ const CommandWidgets = Class("CommandWidgets", {
});
this.addElem({
name: "strut",
defaultGroup: "Normal",
getGroup: function () this.commandbar,
getValue: function () options.get("guioptions").has("c")
});
@@ -107,7 +108,8 @@ const CommandWidgets = Class("CommandWidgets", {
[this.commandbar, this.statusbar].forEach(function (nodeSet) {
let elem = nodeSet[obj.name];
if (val != null) {
highlight.highlightNode(elem, (val[0] != null ? val[0] : obj.defaultGroup)
highlight.highlightNode(elem,
(val[0] != null ? val[0] : obj.defaultGroup)
.split(/\s/).filter(util.identity)
.map(function (g) g + " " + nodeSet.group + g)
.join(" "));
@@ -120,7 +122,14 @@ const CommandWidgets = Class("CommandWidgets", {
this.updateVisibility();
return val;
}
}).init(obj.name));
}).init(obj.name));
else if (obj.defaultGroup)
[this.commandbar, this.statusbar].forEach(function (nodeSet) {
let elem = nodeSet[obj.name];
if (elem)
highlight.highlightNode(elem, obj.defaultGroup.split(/\s/)
.map(function (g) g + " " + nodeSet.group + g).join(" "));
});
},
getGroup: function (name, value) {
if (!statusline.visible)