core.fm: propagate papermanager_deep_search setting

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