From 2f3c2ea0e4ba8bff7d1053b3abc2d5f3e1ab1ff3 Mon Sep 17 00:00:00 2001 From: Arijit Basu Date: Thu, 6 Jul 2023 22:18:07 +0530 Subject: [PATCH] Fix lint --- src/app.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/app.rs b/src/app.rs index d180df6..2bdf9eb 100644 --- a/src/app.rs +++ b/src/app.rs @@ -1486,7 +1486,7 @@ impl App { if dir.parent == self.pwd { self.directory_buffer = Some(dir); - // Migh as well refresh the selection + // Might as well refresh the selection self = self.refresh_selection()?; };