diff options
Diffstat (limited to 'ranger/shared/settings.py')
| -rw-r--r-- | ranger/shared/settings.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ranger/shared/settings.py b/ranger/shared/settings.py index ddc799d2..44b0e55e 100644 --- a/ranger/shared/settings.py +++ b/ranger/shared/settings.py @@ -37,6 +37,7 @@ ALLOWED_SETTINGS = { 'shorten_title': int, # Note: False is an instance of int 'tilde_in_titlebar': bool, 'max_history_size': (int, type(None)), + 'max_console_history_size': (int, type(None)), 'scroll_offset': int, 'preview_files': bool, 'preview_directories': bool, |