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/ToolBar.cc	Sat Oct 05 14:04:36 2019 -0700
+++ b/libgui/graphics/ToolBar.cc	Sun Oct 06 22:25:36 2019 +0200
@@ -38,6 +38,8 @@
 #include "ToolBar.h"
 #include "QtHandlesUtils.h"
 
+#include "../src/gui-preferences.h"
+
 namespace QtHandles
 {
 
@@ -87,6 +89,8 @@
     bar->setFloatable (false);
     bar->setMovable (false);
     bar->setVisible (tp.is_visible ());
+    bar->setStyleSheet (bar->styleSheet () + octgui_toolbar_style);
+
 
     m_empty = addEmptyAction (bar);