[gnome-shell] Reset page when doing a FULL redisplay

[Colin Walters <walters src gnome org>]

commit 4f4e54cbf718f01b34fecf49ec5c35d57d64cdf3
Author: Colin Walters <walters verbum org>
Date:   Tue Oct 6 14:37:09 2009 -0400

    Reset page when doing a FULL redisplay
    
    This fixes an issue where the app display would remember the page
    between switching menus.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=597577

 js/ui/genericDisplay.js |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/js/ui/genericDisplay.js b/js/ui/genericDisplay.js
index cbd211f..9dafd33 100644
--- a/js/ui/genericDisplay.js
+++ b/js/ui/genericDisplay.js
@@ -639,12 +639,12 @@ GenericDisplay.prototype = {
      *  their own while the user was browsing through the result pages.
      *  SUBSEARCH - Indicates that the current _search is a superstring of the previous
      *  one, which implies we only need to re-search through previous results.
-     *  FULL - Indicates that we need refresh all displayed items.
+     *  FULL - Indicates that we need recreate all displayed items; implies RESET_CONTROLS as well
      */
     _redisplay: function(flags) {
-        let resetPage = (flags & RedisplayFlags.RESET_CONTROLS) > 0;
         let isSubSearch = (flags & RedisplayFlags.SUBSEARCH) > 0;
         let fullReload = (flags & RedisplayFlags.FULL) > 0;
+        let resetPage = (flags & RedisplayFlags.RESET_CONTROLS) > 0 || fullReload;
 
         let hadSelected = this.hasSelected();
         this.unsetSelected();