+void plat_video_menu_leave(void)
+{
+ /* have to get rid of panning so that plugins that
+ * use fb0 and don't ever pan can work. */
+ vout_fbdev_clear(main_fb);
+ g_menuscreen_ptr = vout_fbdev_resize(main_fb,
+ g_menuscreen_w, g_menuscreen_h, 16, 0, 0, 0, 0, 1);
+ if (g_menuscreen_ptr == NULL)
+ fprintf(stderr, "warning: vout_fbdev_resize failed\n");
+}
+