diff options
author | James Bursa <james@netsurf-browser.org> | 2003-07-16 17:39:07 +0000 |
---|---|---|
committer | James Bursa <james@netsurf-browser.org> | 2003-07-16 17:39:07 +0000 |
commit | 535d7771cf32fed50b34d118a8edd78f435d4777 (patch) | |
tree | 24b6062f0162b98a9b109ef52302dc41efb7b070 | |
parent | c7520629b0d655bde1db9cbe0012f91502265b5d (diff) | |
download | netsurf-535d7771cf32fed50b34d118a8edd78f435d4777.tar.gz netsurf-535d7771cf32fed50b34d118a8edd78f435d4777.tar.bz2 |
[project @ 2003-07-16 17:39:07 by bursa]
Dump cache on F10.
svn path=/import/netsurf/; revision=226
-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; |