Codebase list gnome-shell-extensions / debian/3.20.1-1kali1
Update patch for new version Raphaël Hertzog 7 years ago
2 changed file(s) with 9 addition(s) and 2 deletion(s). Raw diff Collapse all Expand all
+7
-0
debian/changelog less more
0 gnome-shell-extensions (3.20.1-1kali1) kali-dev; urgency=medium
1
2 * Sync with Debian. Remaining changes:
3 - apps-menu with multiple levels
4
5 -- Raphaël Hertzog <[email protected]> Tue, 24 May 2016 10:11:53 +0200
6
07 gnome-shell-extensions (3.20.1-1) unstable; urgency=medium
18
29 * New upstream release.
+2
-2
debian/patches/apps-menu-with-multiple-levels.patch less more
208208 continue;
209209 }
210210 let app = appSys.lookup_app(id);
211 - if (app && app.get_app_info().should_show())
211 - if (app.get_app_info().should_show())
212212 - this.applicationsByCategory[categoryId].push(app);
213213 + if (app.get_app_info().should_show()) {
214214 + let menu_id = dir.get_menu_id();
215215 + this.applicationsByCategory[menu_id].push(app);
216 + }
216 + }
217217 } else if (nextType == GMenu.TreeItemType.DIRECTORY) {
218218 let subdir = iter.get_directory();
219219 - if (!subdir.get_is_nodisplay())