diff options
| -rw-r--r-- | Tools/idle/Percolator.py | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Tools/idle/Percolator.py b/Tools/idle/Percolator.py index a5f503fc78..9def5f4bce 100644 --- a/Tools/idle/Percolator.py +++ b/Tools/idle/Percolator.py @@ -12,6 +12,14 @@ class Percolator: self.bottom.delete = self.redir.register("delete", self.delete) self.filters = [] + def close(self): + while self.top is not self.bottom: + self.removefilter(self.top) + self.top = None + self.bottom.setdelegate(None); self.bottom = None + self.redir.close(); self.redir = None + self.text = None + def insert(self, index, chars, tags=None): # Could go away if inheriting from Delegator self.top.insert(index, chars, tags) |