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

Add Find highlight group.

Browse Source
This commit is contained in:
Kris Maglione
2011-04-01 18:20:58 -04:00
parent a52a0dc61f
commit b181d7164f
6 changed files with 30 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
common/modules/highlight.jsm
View File

@@ -33,6 +33,8 @@ Highlight.liveProperty = function (name, prop) {
h.style.css = h.css;
this.style[prop || name] = this[prop || name];
if (this.onChange)
this.onChange();
});
}
Highlight.liveProperty("agent");