srctree

Robin Linden parent 633135c6 8f51544f
browser/gui: Hide non-navigation widgets by default

browser/gui/app.cpp added: 13, removed: 6, total 7

@@ -221,6 +221,10 @@ int App::run() {

: layout::WhitespaceMode::Preserve);

break;

}

case sf::Keyboard::Key::F4: {

display_debug_gui_ = !display_debug_gui_;

break;

}

case sf::Keyboard::Key::Left: {

if (!event.key.alt) {

break;

@@ -322,10 +326,12 @@ int App::run() {

run_overlay();

run_nav_widget();

run_http_response_widget();

run_dom_widget();

run_stylesheet_widget();

run_layout_widget();

if (display_debug_gui_) {

run_http_response_widget();

run_dom_widget();

run_stylesheet_widget();

run_layout_widget();

}

clear_render_surface();

browser/gui/app.h added: 13, removed: 6, total 7

@@ -63,6 +63,7 @@ private:

int scroll_offset_y_{};

bool render_debug_{};

bool display_debug_gui_{};

unsigned scale_{1};