vals = vals.map(function (v) update(new String(v.toLowerCase()), {
mode: v.replace(/^!/, "").toUpperCase(),
vals = vals.map(function (v) update(new String(v.toLowerCase()), {
mode: v.replace(/^!/, "").toUpperCase(),
},
prefs: function initPrefs() {
prefs.watch("accessibility.browsewithcaret",
},
prefs: function initPrefs() {
prefs.watch("accessibility.browsewithcaret",