gnome-shell-extensions

Files

Giovanni Campagna 65bec3cdb1 apps-menu: fix for gnome-shell master

PopupMenu.isEmpty() only checks for regular menu items, which
the application menu doesn't use, so we need a fake implementation.

2013-09-17 10:52:03 +02:00

2013-07-30 13:23:47 +02:00

2013-09-17 10:52:03 +02:00

2013-08-18 22:01:35 +02:00

2013-08-18 22:01:35 +02:00

2012-02-13 18:55:15 +01:00

2013-05-20 19:06:59 +02:00

2013-07-30 13:23:47 +02:00

2013-08-18 22:01:35 +02:00

2013-09-17 10:51:34 +02:00

2013-07-14 15:19:14 +02:00

Fix a translatable string

2013-09-15 02:43:12 +02:00

2013-09-03 10:36:31 +02:00

2013-05-20 19:06:59 +02:00

Makefile.am

2011-04-26 01:21:53 +02:00