[gnome-shell-extensions] apps-menu: Minor cleanup

[Florian Müllner <fmuellner src gnome org>]

commit 4007b61cf215979d1fd370951cf4f58b8221adce
Author: Florian Müllner <fmuellner gnome org>
Date:   Wed Aug 7 04:11:30 2019 +0200

    apps-menu: Minor cleanup
    
    We have a much more idiomatic way of transforming one array
    into another than pushing values while iterating over the
    original array ...
    
    https://gitlab.gnome.org/GNOME/gnome-shell-extensions/merge_requests/91

 extensions/apps-menu/extension.js | 10 +++-------
 1 file changed, 3 insertions(+), 7 deletions(-)
---
diff --git a/extensions/apps-menu/extension.js b/extensions/apps-menu/extension.js
index 9667d3f..84ec5cd 100644
--- a/extensions/apps-menu/extension.js
+++ b/extensions/apps-menu/extension.js
@@ -683,13 +683,9 @@ class ApplicationsButton extends PanelMenu.Button {
         if (categoryMenuId) {
             applist = this.applicationsByCategory[categoryMenuId];
         } else {
-            applist = new Array();
-            let favorites = global.settings.get_strv('favorite-apps');
-            for (let i = 0; i < favorites.length; i++) {
-                let app = appSys.lookup_app(favorites[i]);
-                if (app)
-                    applist.push(app);
-            }
+            applist = global.settings.get_strv('favorite-apps')
+               .map(id => appSys.lookup_app(id))
+               .filter(app => app);
         }
 
         return applist;