diff options
| -rw-r--r-- | ranger/defaults/options.py | 3 | ||||
| -rw-r--r-- | ranger/gui/defaultui.py | 4 | ||||
| -rw-r--r-- | ranger/shared/settings.py | 1 |
3 files changed, 5 insertions, 3 deletions
diff --git a/ranger/defaults/options.py b/ranger/defaults/options.py index 00a248c5..6e34c244 100644 --- a/ranger/defaults/options.py +++ b/ranger/defaults/options.py @@ -57,6 +57,9 @@ save_console_history = True draw_borders = False draw_bookmark_borders = True +# How many columns are there, and what are their relative widths? +column_ratios = (1, 1, 4, 3) + # Set a title for the window? update_title = True diff --git a/ranger/gui/defaultui.py b/ranger/gui/defaultui.py index e6a365de..15de6d6e 100644 --- a/ranger/gui/defaultui.py +++ b/ranger/gui/defaultui.py @@ -15,8 +15,6 @@ from ranger.gui.ui import UI -RATIO = ( 3, 3, 12, 9 ) - class DefaultUI(UI): def setup(self): """Build up the UI by initializing widgets.""" @@ -32,7 +30,7 @@ class DefaultUI(UI): self.add_child(self.titlebar) # Create the browser view - self.browser = BrowserView(self.win, RATIO) + self.browser = BrowserView(self.win, self.settings.column_ratios) self.add_child(self.browser) self.main_column = self.browser.main_column diff --git a/ranger/shared/settings.py b/ranger/shared/settings.py index b7f840f4..6342db25 100644 --- a/ranger/shared/settings.py +++ b/ranger/shared/settings.py @@ -23,6 +23,7 @@ ALLOWED_SETTINGS = { 'autosave_bookmarks': bool, 'save_console_history': bool, 'collapse_preview': bool, + 'column_ratios': (tuple, list, set), 'draw_borders': bool, 'draw_bookmark_borders': bool, 'sort': str, |