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/src/octave-dock-widget.cc	Sat Oct 05 14:04:36 2019 -0700
+++ b/libgui/src/octave-dock-widget.cc	Sun Oct 06 22:25:36 2019 +0200
@@ -486,6 +486,7 @@
     QToolBar* toolbar = findChild <QToolBar *> ();
     if (toolbar)
       toolbar->setStyleSheet (toolbar->styleSheet () + octgui_toolbar_style);
+
     QMenuBar* menubar = findChild <QMenuBar *> ();
     if (menubar)
       menubar->setStyleSheet (menubar->styleSheet () + octgui_menubar_style);