From 4446263190a6260903aa93ffe7e698df6346f4a9 Mon Sep 17 00:00:00 2001
From: Jiro Matsuzawa <jmatsuzawa@gnome.org>
Date: Tue, 27 Aug 2013 10:13:40 +0900
Subject: [PATCH 2/2] apps-menu: Respect user's favorite apps order

https://bugzilla.gnome.org/show_bug.cgi?id=704248
---
 extensions/apps-menu/extension.js | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/extensions/apps-menu/extension.js b/extensions/apps-menu/extension.js
index a822d44..cef443d 100644
--- a/extensions/apps-menu/extension.js
+++ b/extensions/apps-menu/extension.js
@@ -540,6 +540,9 @@ const ApplicationsButton = new Lang.Class({
 
         if (category_menu_id) {
             applist = this.applicationsByCategory[category_menu_id];
+            applist.sort(function(a,b) {
+                return a.get_name().toLowerCase() > b.get_name().toLowerCase();
+            });
         } else {
             applist = new Array();
             let favorites = global.settings.get_strv('favorite-apps');
@@ -550,9 +553,6 @@ const ApplicationsButton = new Lang.Class({
             }
         }
 
-        applist.sort(function(a,b) {
-            return a.get_name().toLowerCase() > b.get_name().toLowerCase();
-        });
         return applist;
     },
 
-- 
1.8.3.1