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>

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)