(self, text)
| 5 | class Percolator: |
| 6 | |
| 7 | def __init__(self, text): |
| 8 | # XXX would be nice to inherit from Delegator |
| 9 | self.text = text |
| 10 | self.redir = WidgetRedirector(text) |
| 11 | self.top = self.bottom = Delegator(text) |
| 12 | self.bottom.insert = self.redir.register("insert", self.insert) |
| 13 | self.bottom.delete = self.redir.register("delete", self.delete) |
| 14 | self.filters = [] |
| 15 | |
| 16 | def close(self): |
| 17 | while self.top is not self.bottom: |
nothing calls this directly
no test coverage detected