diff options
author | Eduardo Silva <edsiper@gmail.com> | 2007-10-18 23:02:13 (GMT) |
---|---|---|
committer | Eduardo Silva <edsiper@gmail.com> | 2007-10-18 23:02:13 (GMT) |
commit | dde53b8cee7ee2a2ea4ba19eefb462dcba04f54c (patch) | |
tree | afcb5a8a1e80fd0178c2280262cb35eae6370431 /terminal.py | |
parent | b49911ffed2f19a820ff10f466dc357e9c9b28ab (diff) |
Hide share and keep widgets
Diffstat (limited to 'terminal.py')
-rw-r--r-- | terminal.py | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/terminal.py b/terminal.py index cf95acd..9039f4d 100644 --- a/terminal.py +++ b/terminal.py @@ -44,8 +44,15 @@ class TerminalActivity(activity.Activity): # TOOLBAR toolbox = activity.ActivityToolbox(self) + toolbox.show() + self.set_toolbox(toolbox) self.show_all() + + # Dirty hide() + toolbar = toolbox.get_activity_toolbar() + toolbar.share.hide() + toolbar.keep.hide() class Terminal(gtk.HBox): def __init__(self): |