summaryrefslogtreecommitdiff
path: root/riscos/gui.c
diff options
context:
space:
mode:
Diffstat (limited to 'riscos/gui.c')
-rw-r--r--riscos/gui.c10
1 files changed, 8 insertions, 2 deletions
diff --git a/riscos/gui.c b/riscos/gui.c
index 3b28592a2..f2b2af6a9 100644
--- a/riscos/gui.c
+++ b/riscos/gui.c
@@ -627,8 +627,14 @@ void ro_gui_keypress(wimp_key* key)
}
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);
+ switch (g->data.browser.bw->current_content->type) {
+ case CONTENT_HTML:
+ box_dump(g->data.browser.bw->current_content->data.html.layout->children, 0);
+ break;
+ case CONTENT_CSS:
+ css_dump_stylesheet(g->data.browser.bw->current_content->data.css.css);
+ break;
+ }
}
else if (key->c == wimp_KEY_F10)
{