From 535d7771cf32fed50b34d118a8edd78f435d4777 Mon Sep 17 00:00:00 2001
From: James Bursa <james@netsurf-browser.org>
Date: Wed, 16 Jul 2003 17:39:07 +0000
Subject: [project @ 2003-07-16 17:39:07 by bursa] Dump cache on F10.

svn path=/import/netsurf/; revision=226
---
 riscos/gui.c | 4 ++++
 1 file changed, 4 insertions(+)

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;
-- 
cgit v1.2.3