(self, index, chars, tags=None)
| 380 | class UserInputTaggingDelegator(Delegator): |
| 381 | """Delegator used to tag user input with "stdin".""" |
| 382 | def insert(self, index, chars, tags=None): |
| 383 | if tags is None: |
| 384 | tags = "stdin" |
| 385 | self.delegate.insert(index, chars, tags) |
| 386 | |
| 387 | |
| 388 | class MyRPCClient(rpc.RPCClient): |