Redraw the menu when stopping playback, in case the bookmarking code left something on screen.

git-svn-id: svn://svn.rockbox.org/rockbox/trunk@14196 a1c6a512-1295-4272-9138-f99709370657

apps/menu.c

@@ -355,7 +355,7 @@ int do_menu(const struct menu_item_ex *start_menu, int *start_selected)
         }
         else if (action == ACTION_TREE_STOP)
         {
-            list_stop_handler();
+            redraw_lists = list_stop_handler();
         }
         else if (action == ACTION_STD_CONTEXT &&
                  menu == &root_menu_)

apps/misc.c

@@ -709,6 +709,7 @@ bool list_stop_handler(void)
                 fade(0);
             bookmark_autobookmark();
             audio_stop();
+            ret = true;  /* bookmarking can make a refresh necessary */
         }
     }
 #if CONFIG_CHARGING