changeset 27456:cfe08c0e2c6d

smaller vertical size of editor toolbar (bug #53902) * file-editor.cc (construct): remove top and bottom margins and border from toolbar
author Torsten Lilge <ttl-octave@mailbox.org>
date Sun, 29 Sep 2019 15:46:53 +0200
parents 43ece0b8318b
children 70d9746e9011
files libgui/src/m-editor/file-editor.cc
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/libgui/src/m-editor/file-editor.cc	Sat Sep 28 05:19:40 2019 -0700
+++ b/libgui/src/m-editor/file-editor.cc	Sun Sep 29 15:46:53 2019 +0200
@@ -1706,6 +1706,8 @@
     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->setMovable (true);
 
     m_tab_widget = new file_editor_tab_widget (editor_widget);