diff options
| author | Marco Pesenti Gritti <marco@localhost.localdomain> | 2006-10-13 09:17:35 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <marco@localhost.localdomain> | 2006-10-13 09:17:35 (GMT) |
| commit | c7fdae260681150265142e702f2431236c69ef5a (patch) | |
| tree | e749fb8a4156dadb781d0e2d76bc7aad825ba046 /shell | |
| parent | f1778669ba4f17f40a2148bca68fee5a1c892842 (diff) | |
Fix title handling. Hide old browser and chat.
Diffstat (limited to 'shell')
| -rw-r--r-- | shell/conf/ActivityRegistry.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/shell/conf/ActivityRegistry.py b/shell/conf/ActivityRegistry.py index 5223284..93ca581 100644 --- a/shell/conf/ActivityRegistry.py +++ b/shell/conf/ActivityRegistry.py @@ -104,7 +104,8 @@ class _ActivityRegistry: self._activities.append(module) if cp.has_option('Activity', 'show_launcher'): - module.set_show_launcher(True) + if cp.get('Activity', 'show_launcher') == 'yes': + module.set_show_launcher(True) if cp.has_option('Activity', 'icon'): module.set_icon(cp.get('Activity', 'icon')) |