diff options
-rw-r--r-- | riscos/gui.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/riscos/gui.c b/riscos/gui.c index fa335f5c0..9be02ba6d 100644 --- a/riscos/gui.c +++ b/riscos/gui.c @@ -779,6 +779,7 @@ void ro_gui_signal(int sig) box_dump(c->data.html.layout, 0); } options_dump(); + rufl_dump_state(); xhourglass_colours(old_sand, old_glass, 0, 0); xhourglass_off(); } |