diff options
| author | hut <hut@lavabit.com> | 2013-02-19 16:08:54 +0100 |
|---|---|---|
| committer | hut <hut@lavabit.com> | 2013-02-19 16:08:54 +0100 |
| commit | 5bc4cb756c300795144edd8e1ea656a57c880f5d (patch) | |
| tree | 281e4a34e537605b13339508ab58745e4cbd2feb | |
| parent | 7a66f1744c646d9f42e003cc992696ab10aeffda (diff) | |
| download | ranger-5bc4cb756c300795144edd8e1ea656a57c880f5d.tar.gz | |
widgets/pager: simpler Pager.destroy()
| -rw-r--r-- | ranger/gui/widgets/pager.py | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/ranger/gui/widgets/pager.py b/ranger/gui/widgets/pager.py index 93f77a08..d6c35a3b 100644 --- a/ranger/gui/widgets/pager.py +++ b/ranger/gui/widgets/pager.py @@ -53,8 +53,7 @@ class Pager(Widget): self.source.close() def destroy(self): - if self.image_drawn: - img_display.clear(self.x, self.y, self.wid, self.hei) + self.clear_image(force=True) def finalize(self): self.fm.ui.win.move(self.y, self.x) |