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 cdddd623..991f77d2 100644 --- a/ranger/shared/settings.py +++ b/ranger/shared/settings.py @@ -28,6 +28,7 @@ ALLOWED_SETTINGS = { 'draw_borders': bool, 'sort': str, 'reverse': bool, + 'case_insensitive': bool, 'directories_first': bool, 'update_title': bool, 'shorten_title': int, # Note: False is an instance of int |