(args)
| 34 | } |
| 35 | |
| 36 | function argsToRanges(args) { |
| 37 | if (args.length % 4) throw new Error("Wrong number of arguments for ranges."); |
| 38 | var ranges = []; |
| 39 | for (var i = 0; i < args.length; i += 4) |
| 40 | ranges.push({anchor: Pos(args[i], args[i + 1]), |
| 41 | head: Pos(args[i + 2], args[i + 3])}); |
| 42 | return ranges; |
| 43 | } |
| 44 | |
| 45 | function setSel() { |
| 46 | var ranges = argsToRanges(arguments); |