--- riscos/windoworg.c	2015-08-13 09:17:20.0 +0100
+++ riscos/window.c	2015-08-13 09:17:20.0 +0100
@@ -1895,6 +1895,7 @@
 	case IS_WIMP_KEY + wimp_KEY_CONTROL + wimp_KEY_F2:
 		/* Close window. */
 		ro_gui_url_complete_close();
+		gui_window_set_pointer(g, GUI_POINTER_DEFAULT);
 		browser_window_destroy(g->bw);
 		return true;