diff options
author | hut <hut@lavabit.com> | 2010-03-19 20:17:35 +0100 |
---|---|---|
committer | hut <hut@lavabit.com> | 2010-03-19 20:17:35 +0100 |
commit | 650a672c0da0124199e17f207255a5c6b0d32c6b (patch) | |
tree | fce15fc2a359bc3a4c4a74e12c502432b55e112e /ranger | |
parent | 9e09af364d3c1067caaba49da3689cbedc01cd9e (diff) | |
download | ranger-650a672c0da0124199e17f207255a5c6b0d32c6b.tar.gz |
fixed borders with the embedded pager
Diffstat (limited to 'ranger')
-rw-r--r-- | ranger/gui/widgets/browserview.py | 22 |
1 files changed, 14 insertions, 8 deletions
diff --git a/ranger/gui/widgets/browserview.py b/ranger/gui/widgets/browserview.py index 6348517c..ebce9900 100644 --- a/ranger/gui/widgets/browserview.py +++ b/ranger/gui/widgets/browserview.py @@ -137,13 +137,14 @@ class BrowserView(Widget, DisplayableContainer): left_start = child.x + child.wid else: break - for child in reversed(rows): - if not child.has_preview(): - right_end = child.x - 1 - else: - break - if right_end < left_start: - right_end = self.wid - 1 + if not self.pager.visible: + for child in reversed(rows): + if not child.has_preview(): + right_end = child.x - 1 + else: + break + if right_end < left_start: + right_end = self.wid - 1 win.hline(0, left_start, curses.ACS_HLINE, right_end - left_start) win.hline(self.hei - 1, left_start, curses.ACS_HLINE, @@ -153,6 +154,9 @@ class BrowserView(Widget, DisplayableContainer): for child in rows: if not child.has_preview(): continue + if child.main_column and self.pager.visible: + win.vline(1, right_end, curses.ACS_VLINE, self.hei - 2) + break x = child.x + child.wid y = self.hei - 1 try: @@ -196,7 +200,7 @@ class BrowserView(Widget, DisplayableContainer): if i == last_i - 1: self.pager.resize(pad, left, hei - pad * 2, \ - max(1, self.wid - left)) + max(1, self.wid - left - pad)) try: self.container[i].resize(pad, left, hei - pad * 2, \ @@ -218,6 +222,7 @@ class BrowserView(Widget, DisplayableContainer): def open_pager(self): self.pager.visible = True self.pager.focused = True + self.need_clear = True self.pager.open() try: self.container[-2].visible = False @@ -228,6 +233,7 @@ class BrowserView(Widget, DisplayableContainer): def close_pager(self): self.pager.visible = False self.pager.focused = False + self.need_clear = True self.pager.close() try: self.container[-2].visible = True |