From 90f9bac4803325270f13e7ab5a53bfe8221809b1 Mon Sep 17 00:00:00 2001 From: hut Date: Wed, 3 Dec 2014 23:56:26 +0100 Subject: core.fm: propagate papermanager_deep_search setting --- ranger/core/fm.py | 3 +++ 1 file changed, 3 insertions(+) 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 -- cgit 1.4.1-2-gfad0