reduced vertical space in gui with responsive toolbar buttons (bug #53902) * gui-preferences.h: new constants for tool und menu bar style sheets which only affect tool and menu bar and not the items therein * graphics/Figure.cc: include gui-preferences.h; (Figure): set style sheet for menu bar with reduced vertical spacing * graphics/ToolBar.cc: include gui-preferences.h; (ToolBar): set style sheet for tool bar with reduced vertical spacing * main-window.cc (construct_tool_bar): use style sheet string for tool bar which was defined in gui-preferences.h * octave-dock-widget.cc (handle_settings): newline for readability * history-dock-widget.cc (construct): reduce spacing in the used layout * workspace-view.cc (workspace_view): reduce spacing in the used layout

--- a/libgui/graphics/Figure.cc	Sat Oct 05 14:04:36 2019 -0700
+++ b/libgui/graphics/Figure.cc	Sun Oct 06 22:25:36 2019 +0200
@@ -53,6 +53,8 @@
 
 #include "qt-interpreter-events.h"
 
+#include "../src/gui-preferences.h"
+
 #include "file-ops.h"
 #include "unwind-prot.h"
 #include "utils.h"
@@ -137,6 +139,8 @@
     m_menuBar = new MenuBar (win);
     win->setMenuBar (m_menuBar);
     m_menuBar->addReceiver (this);
+    m_menuBar->setStyleSheet (m_menuBar->styleSheet () + octgui_menubar_style);
+
 
     // Status bar
     m_statusBar = win->statusBar ();