# HG changeset patch
# User Torsten Lilge <ttl-octave@mailbox.org>
# Date 1569772050 -7200
# Node ID 70d9746e9011f894cb82d015e30d6c0fedd6082f
# Parent  cfe08c0e2c6df8a8d2f3820e886fcb7f73c95bc9
smaller toolbars in editor and main window (bug #53902)

* file-editor.cc (construct): keep style of toolbar while adding options
  for smaller vertical margins

* main-window.cc (construct_tool_bar): dito

diff -r cfe08c0e2c6d -r 70d9746e9011 libgui/src/m-editor/file-editor.cc
--- a/libgui/src/m-editor/file-editor.cc	Sun Sep 29 15:46:53 2019 +0200
+++ b/libgui/src/m-editor/file-editor.cc	Sun Sep 29 17:47:30 2019 +0200
@@ -1706,8 +1706,10 @@
     m_menu_bar->setNativeMenuBar (false);
 
     m_tool_bar = new QToolBar (editor_widget);
-    m_tool_bar->setStyleSheet ("margin-top: 0px; margin-bottom: 0px;\n"
-                               "border-top: 0px; border-bottom: 0px;\n");
+    m_tool_bar->setStyleSheet (m_tool_bar->styleSheet ()
+             + QString ("margin-top: 1px; margin-bottom: 1px;"
+                        "margin-left: 3px; margin-right: 3px;"
+                        "border: 0px;"));
     m_tool_bar->setMovable (true);
 
     m_tab_widget = new file_editor_tab_widget (editor_widget);
diff -r cfe08c0e2c6d -r 70d9746e9011 libgui/src/main-window.cc
--- a/libgui/src/main-window.cc	Sun Sep 29 15:46:53 2019 +0200
+++ b/libgui/src/main-window.cc	Sun Sep 29 17:47:30 2019 +0200
@@ -2630,6 +2630,10 @@
   void main_window::construct_tool_bar (void)
   {
     m_main_tool_bar = addToolBar (tr ("Toolbar"));
+    m_main_tool_bar->setStyleSheet (m_main_tool_bar->styleSheet ()
+             + QString ("margin-top: 1px; margin-bottom: 1px;"
+                        "margin-left: 3px; margin-right: 3px;"
+                        "border: 0px;"));
 
     m_main_tool_bar->setObjectName ("MainToolBar");
     m_main_tool_bar->addAction (m_new_script_action);