1
0
mirror of https://github.com/gryf/pentadactyl-pm.git synced 2025-12-23 09:48:00 +01:00

Add -append options to :hi and :sty. Fix some bugs (no, I don't know which bugs)

This commit is contained in:
Kris Maglione
2008-11-01 02:04:42 +00:00
parent c5ec767aa5
commit b904f580bb
7 changed files with 71 additions and 173 deletions

View File

@@ -82,26 +82,22 @@ const liberator = (function () //{{{
{
setter: function (value)
{
var guioptions = config.guioptions || {};
for (let option in guioptions)
for (let [opt, ids] in Iterator(config.guioptions || {}))
{
if (option in guioptions)
ids.forEach(function (id)
{
guioptions[option].forEach(function (elem) {
try
{
document.getElementById(elem).collapsed = (value.indexOf(option.toString()) < 0);
}
catch (e) {}
});
}
try
{
document.getElementById(id).collapsed = (value.indexOf(opt) < 0);
}
catch (e) {}
});
}
let classes = tabopts.filter(function (o) value.indexOf(o[0]) == -1)
.map(function (a) a[3])
if (!classes.length)
{
storage.styles.removeSheet("taboptions", null, null, null, true);
styles.removeSheet("taboptions", null, null, null, true);
}
else
{
@@ -652,7 +648,7 @@ const liberator = (function () //{{{
message = util.objectToString(message);
else
message += "\n";
dump(config.name.toLowerCase() + ": " + message);
dump(("config" in modules && config.name.toLowerCase()) + ": " + message);
},
dumpStack: function (msg)