diff options
| author | Tomeu Vizoso <tomeu@tomeuvizoso.net> | 2007-09-07 16:09:41 (GMT) |
|---|---|---|
| committer | Tomeu Vizoso <tomeu@tomeuvizoso.net> | 2007-09-07 16:09:41 (GMT) |
| commit | 4ab83a605c3aafb97480445ad64a6f0e49b9f259 (patch) | |
| tree | 52af0aca72e622bd8acb99f9dbc51a8b5c70873f | |
| parent | 1196eae1b98101c4df0682639bff65514aceda16 (diff) | |
Hide unused icons.
| -rw-r--r-- | readactivity.py | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/readactivity.py b/readactivity.py index 0d1f84a..da91b7b 100644 --- a/readactivity.py +++ b/readactivity.py @@ -62,11 +62,12 @@ class ReadActivity(activity.Activity): toolbox = activity.ActivityToolbox(self) self._edit_toolbar = EditToolbar(self._view) - self._edit_toolbar.undo.set_sensitive(False) - self._edit_toolbar.redo.set_sensitive(False) + self._edit_toolbar.undo.props.visible = False + self._edit_toolbar.redo.props.visible = False + self._edit_toolbar.separator.props.visible = False self._edit_toolbar.copy.set_sensitive(False) self._edit_toolbar.copy.connect('clicked', self._edit_toolbar_copy_cb) - self._edit_toolbar.paste.set_sensitive(False) + self._edit_toolbar.paste.props.visible = False toolbox.add_toolbar(_('Edit'), self._edit_toolbar) self._edit_toolbar.show() |