diff options
Diffstat (limited to 'riscos')
-rw-r--r-- | riscos/gui.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/riscos/gui.c b/riscos/gui.c index 4ee99673d..c23d01724 100644 --- a/riscos/gui.c +++ b/riscos/gui.c @@ -2027,6 +2027,11 @@ void ro_gui_keypress(wimp_key* key) browser_window_open_location(g->data.browser.bw, g->url); return; } + else if (key->c == wimp_KEY_F9) + { + if (g->data.browser.bw->current_content->type == CONTENT_HTML) + box_dump(g->data.browser.bw->current_content->data.html.layout->children, 0); + } } wimp_process_key(key->c); return; |