diff options
author | Patrick Totzke <patricktotzke@gmail.com> | 2011-11-11 23:04:58 +0000 |
---|---|---|
committer | Patrick Totzke <patricktotzke@gmail.com> | 2011-11-11 23:04:58 +0000 |
commit | 09161c18f877903e31fb67292ce4fa8c775d5d78 (patch) | |
tree | 47bb943fba263cf33b9d44e784ce4b3b5f2d59da | |
parent | d89eb9965a148740ced96c1b2215f6ba2fa4b74d (diff) |
introduce cleanups in buffers
-rw-r--r-- | alot/buffers.py | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/alot/buffers.py b/alot/buffers.py index df435184..fc485a08 100644 --- a/alot/buffers.py +++ b/alot/buffers.py @@ -51,6 +51,9 @@ class Buffer(object): def keypress(self, size, key): return self.body.keypress(size, key) + def cleanup(self): + pass + class BufferlistBuffer(Buffer): def __init__(self, ui, filtfun=None): @@ -64,6 +67,8 @@ class BufferlistBuffer(Buffer): return self.ui.buffers.index(b) def rebuild(self): + self.ui.logger.debug('BUFFERS') + self.ui.logger.debug(self.ui.buffers) if self.isinitialized: focusposition = self.bufferlist.get_focus()[1] else: @@ -157,6 +162,9 @@ class SearchBuffer(Buffer): def __str__(self): return '%s (%d threads)' % (self.querystring, self.result_count) + def cleanup(self): + self.kill_filler_process() + def kill_filler_process(self): if self.proc: if self.proc.is_alive(): |