diff options
author | Agustin Zubiaga <aguzubiaga97@gmail.com> | 2011-12-09 18:27:22 (GMT) |
---|---|---|
committer | Agustin Zubiaga <aguzubiaga97@gmail.com> | 2011-12-09 18:27:22 (GMT) |
commit | e2915ea4f9376c2824d6310f54aa6824d14dcd02 (patch) | |
tree | f2c39cb8f3f76a4fa20ccabf636ed0c5fd9e7dfc | |
parent | 5db1b6329525c31e707ac21ff877f9c1089df5d7 (diff) |
Hide separator when pep8 button is hide
Signed-off-by: Agustin Zubiaga <aguzubiaga97@gmail.com>
-rw-r--r-- | activity.py | 8 | ||||
-rw-r--r-- | editor.py | 12 |
2 files changed, 15 insertions, 5 deletions
diff --git a/activity.py b/activity.py index 7608a7c..878301a 100644 --- a/activity.py +++ b/activity.py @@ -142,9 +142,9 @@ class JAMEdit(activity.Activity): edit_toolbar.pep8_btn.connect("clicked", self.pep8_check) edit_toolbar.insert(edit_toolbar.pep8_btn, -1) - separator = gtk.SeparatorToolItem() - separator.set_draw(True) - edit_toolbar.insert(separator, -1) + edit_toolbar.pep8_datetime_separator = gtk.SeparatorToolItem() + edit_toolbar.pep8_datetime_separator.set_draw(True) + edit_toolbar.insert(edit_toolbar.pep8_datetime_separator, -1) insert_datetime = ToolButton("insert-datetime") insert_datetime.connect("clicked", @@ -161,6 +161,7 @@ class JAMEdit(activity.Activity): edit_toolbar.show_all() edit_toolbar.pep8_btn.hide() + edit_toolbar.pep8_datetime_separator.set_draw(False) self.toolbar_box.toolbar.insert(edit_toolbar_button, -1) @@ -295,6 +296,7 @@ class JAMEdit(activity.Activity): self.editor.lang_combo.set_active(0) self.editor.buffer.set_highlight_syntax(False) self.edit_toolbar.pep8_btn.hide() + edit_toolbar.pep8_datetime_separator.set_draw(False) self.editor.buffer.set_text("") self.set_title(_("New")) @@ -154,12 +154,16 @@ class Editor(gtksourceview2.View): self.buffer.set_language(self.lang) if id == "python": self.activity.edit_toolbar.pep8_btn.show() - else: self.activity.edit_toolbar.pep8_btn.hide() + self.activity.edit_toolbar.pep8_datetime_separator.set_draw(True) + else: + self.activity.edit_toolbar.pep8_btn.hide() + self.activity.edit_toolbar.pep8_datetime_separator.set_draw(False) elif name == 0: self.buffer.set_highlight_syntax(False) self.lang = None self.activity.edit_toolbar.pep8_btn.hide() + self.activity.edit_toolbar.pep8_datetime_separator.set_draw(False) def _search_and_active_language(self, mimetype): encontrado = False @@ -176,12 +180,16 @@ class Editor(gtksourceview2.View): if id == "python": self.activity.edit_toolbar.pep8_btn.show() - else: self.activity.edit_toolbar.pep8_btn.hide() + self.activity.edit_toolbar.pep8_datetime_separator.set_draw(True) + else: + self.activity.edit_toolbar.pep8_btn.hide() + self.activity.edit_toolbar.pep8_datetime_separator.set_draw(False) if not encontrado: self.buffer.set_highlight_syntax(False) self.lang_combo.set_active(0) self.lang = None self.activity.edit_toolbar.pep8_btn.hide() + self.activity.edit_toolbar.pep8_datetime_separator.set_draw(False) def _get_all_text(self): start = self.buffer.get_start_iter() |