Codebase list gnome-shell-extensions / 414958c
Increase default width of category box to 300 pixels. Raphaël Hertzog 8 years ago
2 changed file(s) with 7 addition(s) and 1 deletion(s). Raw diff Collapse all Expand all
+6
-0
debian/changelog less more
0 gnome-shell-extensions (3.14.2-1kali2) kali-dev; urgency=medium
1
2 * Increase default width of category box to 300 pixels.
3
4 -- Raphaël Hertzog <[email protected]> Tue, 19 May 2015 17:06:22 +0200
5
06 gnome-shell-extensions (3.14.2-1kali1) kali-dev; urgency=medium
17
28 * Add apps-menu-with-multiple-levels.patch to support nested menus.
+1
-1
debian/patches/apps-menu-with-multiple-levels.patch less more
377377 - this.mainBox.style+=('height: ' + height);
378378 + let height = this.categoriesBox.actor.height + MENU_HEIGHT_OFFSET + 'px';
379379 + this.mainBox.actor.style+=('height: ' + height);
380 + this.categoriesBox.box.width = 220;
380 + this.categoriesBox.box.width = 300;
381381 },
382382
383383 _clearApplicationsBox: function(selectedActor) {