diff options
author | hut <hut@hut.pm> | 2018-05-15 23:04:13 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-05-15 23:04:13 +0200 |
commit | fe1989b52c871c23327bfd6296330bebabc47ad1 (patch) | |
tree | 47aa3d48fe5272ae96d562b951ff8788f4fc5bb6 | |
parent | 813fee2df7cad085dc0ed0ede745e64aec10a4c0 (diff) | |
parent | 6891ddc45b2cac79fdf51546b35167fe9fa0baa0 (diff) | |
download | ranger-fe1989b52c871c23327bfd6296330bebabc47ad1.tar.gz |
Merge pull request #1111 from vimeitor/master
Add delay after opening (quickly_executed) a file
-rwxr-xr-x | ranger/config/commands.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ranger/config/commands.py b/ranger/config/commands.py index dc987051..a2492369 100755 --- a/ranger/config/commands.py +++ b/ranger/config/commands.py @@ -1400,6 +1400,8 @@ class scout(Command): self.fm.cd(pattern) else: self.fm.move(right=1) + if self.quickly_executed: + self.fm.block_input(0.5) if self.KEEP_OPEN in flags and thisdir != self.fm.thisdir: # reopen the console: |