6618 while commands: |
6622 while commands: |
6619 commandLine = commands.pop(0) |
6623 commandLine = commands.pop(0) |
6620 if not commandLine.startswith("@@"): |
6624 if not commandLine.startswith("@@"): |
6621 continue |
6625 continue |
6622 |
6626 |
6623 command, *args = commandLine.split() |
6627 args = commandLine.split() |
|
6628 command = args.pop(0) |
6624 pos, l1, l2 = [int(arg) for arg in args] |
6629 pos, l1, l2 = [int(arg) for arg in args] |
6625 if command == "@@i": |
6630 if command == "@@i": |
6626 txt = sep.join(commands[0:l1]) + sep |
6631 txt = sep.join(commands[0:l1]) + sep |
6627 self.insertAt(txt, pos, 0) |
6632 self.insertAt(txt, pos, 0) |
6628 del commands[0:l1] |
6633 del commands[0:l1] |