diff options
author | Marco Pesenti Gritti <marco@localhost.localdomain> | 2006-06-21 20:56:11 (GMT) |
---|---|---|
committer | Marco Pesenti Gritti <marco@localhost.localdomain> | 2006-06-21 20:56:11 (GMT) |
commit | e956f2259705acb7bc81060f7423cf4f2214f615 (patch) | |
tree | 841747857e909f5df3bb709b34600544333ba149 /examples | |
parent | e1fb6ca1d518c0ef35c8189f959112b528d10fdd (diff) |
Readd icon
Diffstat (limited to 'examples')
-rwxr-xr-x | examples/gmail/gmail.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/examples/gmail/gmail.py b/examples/gmail/gmail.py index ad59c89..0cdc095 100755 --- a/examples/gmail/gmail.py +++ b/examples/gmail/gmail.py @@ -19,6 +19,7 @@ class GMailActivity(Activity): geckoembed.set_profile_path(profile_path) self.set_tab_text("Mail") self.set_tab_icon(name="stock_mail") + self.set_show_tab_icon(True) plug = self.gtk_plug() |