diff options
| author | Marco Pesenti Gritti <marco@localhost.localdomain> | 2006-07-20 08:35:41 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <marco@localhost.localdomain> | 2006-07-20 08:35:41 (GMT) |
| commit | 2a28ea38b12f617a1b78b8a0f8eb96e2536394cf (patch) | |
| tree | 326d92c332b7a97778760a15a268aeb8f3f1a80f /shell/HomeWindow.py | |
| parent | a06d75bd56b73c4703513454a35225d92759b6ef (diff) | |
Add a show_launcher property. Show only the web activity
Diffstat (limited to 'shell/HomeWindow.py')
| -rw-r--r-- | shell/HomeWindow.py | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/shell/HomeWindow.py b/shell/HomeWindow.py index 47717f7..3d1fdc7 100644 --- a/shell/HomeWindow.py +++ b/shell/HomeWindow.py @@ -19,11 +19,13 @@ class NewActivityButton(gtk.MenuToolButton): menu = gtk.Menu() for module in self._home.list_activities(): - item = gtk.MenuItem(module.get_name(), False) - activity_id = module.get_id() - item.connect('activate', self.__menu_item_activate_cb, activity_id) - menu.append(item) - item.show() + if module.get_show_launcher(): + item = gtk.MenuItem(module.get_name(), False) + activity_id = module.get_id() + item.connect('activate', + self.__menu_item_activate_cb, activity_id) + menu.append(item) + item.show() self.set_menu(menu) |