srctree

Robin Linden parent c04f1d9d 46d5b736
browser/gui: Set up ctrl+R to reload the current page

inlinesplit
browser/gui/app.cpp added: 19, removed: 2, total 17
@@ -359,6 +359,13 @@ void App::step() {
navigate_back();
break;
}
case sf::Keyboard::Key::R: {
if (!event.key.control) {
break;
}
reload();
break;
}
default:
break;
}
@@ -506,6 +513,15 @@ void App::navigate_forward() {
navigate();
}
 
void App::reload() {
if (!maybe_page_) {
return;
}
 
url_buf_ = (**maybe_page_).uri.uri;
navigate();
}
 
void App::on_navigation_failure(protocol::Error err) {
update_status_line();
response_headers_str_ = maybe_page_.error().response.headers.to_string();
 
browser/gui/app.h added: 19, removed: 2, total 17
@@ -85,6 +85,7 @@ private:
 
void navigate_back();
void navigate_forward();
void reload();
 
layout::LayoutBox const *get_hovered_node(geom::Position document_position) const;
geom::Position to_document_position(geom::Position window_position) const;