mirror of
https://github.com/gryf/pentadactyl-pm.git
synced 2026-10-17 00:02:30 +02:00
Fix ex grr.
This commit is contained in:
1 parent
015620921a
commit
1632e5d594
1 file changed
+4
-2
@@ -410,10 +410,12 @@ var Ex = Module("Ex", {
|
||||
else {
|
||||
let opt = cmd.optionMap["-" + k];
|
||||
let val = opt.type && opt.type.parse(v);
|
||||
|
||||
util.assert(val != null && (typeof val !== "number" || !isNaN(val)),
|
||||
_("option.noSuch", k));
|
||||
Class.replaceProperty(args, opt.names[0], val);
|
||||
args.explicitOpts[opt.names[0]] = val;
|
||||
|
||||
Class.replaceProperty(res, opt.names[0], val);
|
||||
res.explicitOpts[opt.names[0]] = val;
|
||||
}
|
||||
for (let [i, val] in array.iterItems(args))
|
||||
res[i] = String(val);
|
||||
|
||||
Reference in new issue
Block a user