diff options
author | Gonzalo Odiard <godiard@gmail.com> | 2013-04-10 18:38:08 (GMT) |
---|---|---|
committer | Gonzalo Odiard <godiard@gmail.com> | 2013-04-10 18:38:08 (GMT) |
commit | 7659a5b3a6f1d3f9ccb90557d4fe7854c712510d (patch) | |
tree | d0c90258ece0073522dc5c4e254fa711a6d7ef2f /readtoolbar.py | |
parent | e3fe946a657b27bc0844137ecc18d77f1b81f90f (diff) |
Reorganize toolbar to solve fall out of stop buton when rotated - SL#3832
The highlight button is moved to the edition subtoolbar,
and a invisible separator is replaced by a small margin after the label.
Signed-off-by: Gonzalo Odiard <gonzalo@laptop.org>
Diffstat (limited to 'readtoolbar.py')
-rw-r--r-- | readtoolbar.py | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/readtoolbar.py b/readtoolbar.py index c4dc2d6..435da1c 100644 --- a/readtoolbar.py +++ b/readtoolbar.py @@ -71,6 +71,15 @@ class EditToolbar(BaseEditToolbar): self.insert(self._next, -1) self._next.show() + separator = Gtk.SeparatorToolItem() + separator.show() + self.insert(separator, -1) + + self.highlight = ToggleToolButton('format-text-underline') + self.highlight.set_tooltip(_('Highlight')) + self.highlight.props.sensitive = False + self.insert(self.highlight, -1) + def set_view(self, view): self._view = view self._view.find_set_highlight_search(True) |