From 2da3a20c4e2d4b9565725c42d3540c2558b1808e Mon Sep 17 00:00:00 2001 From: chris west Date: Sat, 26 Sep 2020 12:40:17 -0700 Subject: [PATCH] F5 fully reloads page --- src/ui.rs | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/src/ui.rs b/src/ui.rs index de36db5..e37c8a2 100644 --- a/src/ui.rs +++ b/src/ui.rs @@ -604,7 +604,12 @@ impl UI { } } // F5 = refresh - Action::Keypress(Key::F(5)) => self.dirty = true, + Action::Keypress(Key::F(5)) => { + if let Some(view) = self.views.get(self.focused) { + let current_url = view.url().to_owned(); + self.open(¤t_url, ¤t_url)? + } + } Action::Keypress(Key::Left) | Action::Keypress(Key::Backspace) => { if self.focused > 0 { self.dirty = true;