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