Bug#765460: gnome-shell-extensions: apps-menu extension not working after upgrade to 3.14

2014-10-17 Thread intrigeri
Control: tag -1 + patch Hi, ricky wrote (15 Oct 2014 10:13:17 GMT) : I understood that the extension did not work because the GMenu package was missing. As soon as I installed the following package: # apt-get install gir1.2-gmenu-3.0 The shell loaded the extension correctly. I suppose

Bug#765460: gnome-shell-extensions: apps-menu extension not working after upgrade to 3.14

2014-10-15 Thread ricky
Package: gnome-shell-extensions Version: 3.14.0-2 Severity: normal Dear Maintainer, Some days ago my testing laptop was upgraded to gnome-shell 3.14 (and extensions package too) and the apps-menu extension appeared in error state. After restarting the shell with the replace argument: $