changeset 27457:70d9746e9011

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
author Torsten Lilge <ttl-octave@mailbox.org>
date Sun, 29 Sep 2019 17:47:30 +0200
parents cfe08c0e2c6d
children 2f4e8dce06da
files libgui/src/m-editor/file-editor.cc libgui/src/main-window.cc
diffstat 2 files changed, 8 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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);
--- 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);