From 9439af4061e982489858d73cd6587f0a23c9bcd3 Mon Sep 17 00:00:00 2001 From: Andrew Hamilton Date: Fri, 21 Jan 2022 10:30:44 +1000 Subject: [PATCH] diff-edit: fill3: Let vertical scrollbar be on the left of view --- fill3/fill3/__init__.py | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/fill3/fill3/__init__.py b/fill3/fill3/__init__.py index a59e5f9..24595ef 100755 --- a/fill3/fill3/__init__.py +++ b/fill3/fill3/__init__.py @@ -245,11 +245,13 @@ class Portal: class View: - def __init__(self, portal, horizontal_scrollbar, vertical_scrollbar, hide_scrollbars=True): + def __init__(self, portal, horizontal_scrollbar, vertical_scrollbar, hide_scrollbars=True, + is_left_scrollbar=False): self.portal = portal self.horizontal_scrollbar = horizontal_scrollbar self.vertical_scrollbar = vertical_scrollbar self.hide_scrollbars = hide_scrollbars + self.is_left_scrollbar = is_left_scrollbar @classmethod def from_widget(cls, widget): @@ -296,7 +298,9 @@ class View: result = portal_appearance else: scrollbar_v_appearance = self.vertical_scrollbar.appearance_for((1, height)) - result = join_horizontal([portal_appearance, scrollbar_v_appearance]) + parts = ([scrollbar_v_appearance, portal_appearance] if self.is_left_scrollbar + else [portal_appearance, scrollbar_v_appearance]) + result = join_horizontal(parts) if not hide_scrollbar_horizontal: scrollbar_h_appearance = self.horizontal_scrollbar.appearance_for((width, 1)) result.append(scrollbar_h_appearance[0] + ("" if hide_scrollbar_vertical else " "))