diff options
| author | hut <hut@lepus.uberspace.de> | 2014-12-03 23:56:26 +0100 |
|---|---|---|
| committer | hut <hut@lepus.uberspace.de> | 2014-12-03 23:56:26 +0100 |
| commit | 90f9bac4803325270f13e7ab5a53bfe8221809b1 (patch) | |
| tree | 035f43140975cecf5bf47c4115da940bd486cbab /ranger | |
| parent | 30513c6585b685afc157efcb979c722731885e50 (diff) | |
| download | ranger-90f9bac4803325270f13e7ab5a53bfe8221809b1.tar.gz | |
core.fm: propagate papermanager_deep_search setting
Diffstat (limited to 'ranger')
| -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 |