2016-09-01 12:12:54 +02:00
|
|
|
|
2017-09-14 13:46:04 +02:00
|
|
|
Index: gnome-shell-extensions-3.26.0/extensions/apps-menu/extension.js
|
2016-09-01 12:12:54 +02:00
|
|
|
===================================================================
|
2017-09-14 13:46:04 +02:00
|
|
|
--- gnome-shell-extensions-3.26.0.orig/extensions/apps-menu/extension.js
|
|
|
|
+++ gnome-shell-extensions-3.26.0/extensions/apps-menu/extension.js
|
2017-08-05 14:05:19 +02:00
|
|
|
@@ -22,6 +22,8 @@ const Pango = imports.gi.Pango;
|
2016-09-01 12:12:54 +02:00
|
|
|
const Gettext = imports.gettext.domain('gnome-shell-extensions');
|
|
|
|
const _ = Gettext.gettext;
|
|
|
|
|
|
|
|
+const SLEClassicExt = imports.ui.SLEClassicExt;
|
|
|
|
+
|
|
|
|
const ExtensionUtils = imports.misc.extensionUtils;
|
|
|
|
const Me = ExtensionUtils.getCurrentExtension();
|
|
|
|
const Convenience = Me.imports.convenience;
|
2017-09-14 13:46:04 +02:00
|
|
|
@@ -785,8 +787,6 @@ const ApplicationsButton = new Lang.Clas
|
2016-09-01 12:12:54 +02:00
|
|
|
let tree = new GMenu.Tree({ menu_basename: 'applications.menu' });
|
|
|
|
tree.load_sync();
|
|
|
|
let root = 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) {
|
2017-09-14 13:46:04 +02:00
|
|
|
@@ -804,6 +804,10 @@ const ApplicationsButton = new Lang.Clas
|
2016-09-01 12:12:54 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
+ let categoryMenuItem = new CategoryMenuItem(this, null);
|
|
|
|
+ this.categoriesBox.insert_child_at_index(categoryMenuItem.actor,
|
|
|
|
+ SLEClassicExt.isSLEClassicMode() ? -1 : 0);
|
|
|
|
+
|
|
|
|
//Load applications
|
|
|
|
this._displayButtons(this._listApplications(null));
|
|
|
|
|