diff options
| author | Gonzalo Odiard <godiard@gmail.com> | 2013-05-29 11:49:22 (GMT) |
|---|---|---|
| committer | Daniel Francis <francis@sugarlabs.org> | 2013-05-29 20:15:34 (GMT) |
| commit | 43e3e92e7c10af06f3e9c60a3323bd5bdf70c02e (patch) | |
| tree | c56db855c55f45366fe5ed2021a9c2413411b433 | |
| parent | b90dac1ad2b8916b123e71b73848636f83fa9fe7 (diff) | |
Do not try to set unsensitive non existing buttons
These buttons were removed in a5416e71dfece58bf4b102bbd01a7cb15ddf319c
Signed-off-by: Gonzalo Odiard <gonzalo@laptop.org>
| -rw-r--r-- | terminal.py | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/terminal.py b/terminal.py index 0ee2b7a..e3a0a91 100644 --- a/terminal.py +++ b/terminal.py @@ -407,11 +407,6 @@ class TerminalActivity(activity.Activity): if self._notebook.get_n_pages() == 0: self._create_tab(None) - if self._notebook.get_n_pages() > 1: - self._delete_tab_button.props.sensitive = True - self._previous_tab_button.props.sensitive = True - self._next_tab_button.props.sensitive = True - def write_file(self, file_path): if not self.metadata['mime_type']: self.metadata['mime_type'] = 'text/plain' |