diff options
| -rw-r--r-- | ranger/core/fm.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/ranger/core/fm.py b/ranger/core/fm.py index 885068e5..fbdc5a6a 100644 --- a/ranger/core/fm.py +++ b/ranger/core/fm.py @@ -61,6 +61,9 @@ class FM(Actions, SignalDispatcher): self.copy_buffer = set() self.do_cut = False self.papermanager = PaperManager() + self.settings.signal_bind('setopt.papermanager_deep_search', + lambda signal: setattr(signal.fm.papermanager, 'deep_search', + signal.value)) try: self.username = pwd.getpwuid(os.geteuid()).pw_name |