1
0
gnome-shell-extensions/gnome-shell-favorites-menu-at-end.patch

37 lines
1.4 KiB
Diff

Index: gnome-shell-extensions-3.27.91/extensions/apps-menu/extension.js
===================================================================
--- gnome-shell-extensions-3.27.91.orig/extensions/apps-menu/extension.js
+++ gnome-shell-extensions-3.27.91/extensions/apps-menu/extension.js
@@ -32,6 +32,10 @@ const HORIZ_FACTOR = 5;
const MENU_HEIGHT_OFFSET = 132;
const NAVIGATION_REGION_OVERSHOOT = 50;
+function isSLEClassicMode() {
+ return Main.sessionMode.currentMode == "sle-classic" ? true : false;
+}
+
class ActivitiesMenuItem extends PopupMenu.PopupBaseMenuItem {
constructor(button) {
super();
@@ -776,8 +780,6 @@ class ApplicationsButton extends PanelMe
this.applicationsByCategory = {};
this._tree.load_sync();
let root = this._tree.get_root_directory();
- let categoryMenuItem = new CategoryMenuItem(this, null);
- this.categoriesBox.add_actor(categoryMenuItem.actor);
let iter = root.iter();
let nextType;
while ((nextType = iter.next()) != GMenu.TreeItemType.INVALID) {
@@ -795,6 +797,10 @@ class ApplicationsButton extends PanelMe
}
}
+ let categoryMenuItem = new CategoryMenuItem(this, null);
+ this.categoriesBox.insert_child_at_index(categoryMenuItem.actor,
+ isSLEClassicMode() ? -1 : 0);
+
//Load applications
this._displayButtons(this._listApplications(null));