changeset 25508:3edae6ba1fcd

use a custom title bar widget for the main dock widgets * documentation-dock-widget.cc (documentation_dock_widget): replace setWindowTitle () by set_title () which uses a custom title bar * files-dock-widget.cc (files_dock_widgets): dito * history-dock-widget.cc (history_dock_widgets): dito * file-editor.cc (construct): dito * terminal-dock-widget.cc (terminal_dock_widgets): dito * variable-editor.cc (variable_editor): dito * workspace-view.cc (workspace_view): dito
author Torsten <mttl@mailbox.org>
date Tue, 26 Jun 2018 21:39:38 +0200
parents b61f3500651f
children e00aa6a75edd
files libgui/src/documentation-dock-widget.cc libgui/src/files-dock-widget.cc libgui/src/history-dock-widget.cc libgui/src/m-editor/file-editor.cc libgui/src/terminal-dock-widget.cc libgui/src/variable-editor.cc libgui/src/workspace-view.cc
diffstat 7 files changed, 7 insertions(+), 7 deletions(-) [+]
line wrap: on
line diff
--- a/libgui/src/documentation-dock-widget.cc	Tue Jun 26 14:12:25 2018 -0400
+++ b/libgui/src/documentation-dock-widget.cc	Tue Jun 26 21:39:38 2018 +0200
@@ -35,7 +35,7 @@
     : octave_dock_widget ("DocumentationDockWidget", p)
   {
     setWindowIcon (QIcon (":/actions/icons/logo.png"));
-    setWindowTitle (tr ("Documentation"));
+    set_title (tr ("Documentation"));
     setStatusTip (tr ("See the documentation for help."));
 
     m_docs = new documentation (this);
--- a/libgui/src/files-dock-widget.cc	Tue Jun 26 14:12:25 2018 -0400
+++ b/libgui/src/files-dock-widget.cc	Tue Jun 26 21:39:38 2018 +0200
@@ -69,7 +69,7 @@
     : octave_dock_widget ("FilesDockWidget", p)
   {
     setWindowIcon (QIcon (":/actions/icons/logo.png"));
-    setWindowTitle (tr ("File Browser"));
+    set_title (tr ("File Browser"));
     setToolTip (tr ("Browse your files"));
 
     m_sig_mapper = nullptr;
--- a/libgui/src/history-dock-widget.cc	Tue Jun 26 14:12:25 2018 -0400
+++ b/libgui/src/history-dock-widget.cc	Tue Jun 26 21:39:38 2018 +0200
@@ -293,7 +293,7 @@
     m_filter_checkbox = new QCheckBox ();
 
     setWindowIcon (QIcon (":/actions/icons/logo.png"));
-    setWindowTitle (tr ("Command History"));
+    set_title (tr ("Command History"));
     setWidget (new QWidget ());
 
     m_filter_widget = new QWidget (this);
--- a/libgui/src/m-editor/file-editor.cc	Tue Jun 26 14:12:25 2018 -0400
+++ b/libgui/src/m-editor/file-editor.cc	Tue Jun 26 21:39:38 2018 +0200
@@ -2046,7 +2046,7 @@
 
     resize (500, 400);
     setWindowIcon (QIcon (":/actions/icons/logo.png"));
-    setWindowTitle (tr ("Editor"));
+    set_title (tr ("Editor"));
 
     check_actions ();
   }
--- a/libgui/src/terminal-dock-widget.cc	Tue Jun 26 14:12:25 2018 -0400
+++ b/libgui/src/terminal-dock-widget.cc	Tue Jun 26 21:39:38 2018 +0200
@@ -45,7 +45,7 @@
     m_terminal->setFocusPolicy (Qt::StrongFocus);
 
     setWindowIcon (QIcon (":/actions/icons/logo.png"));
-    setWindowTitle (tr ("Command Window"));
+    set_title (tr ("Command Window"));
 
     setWidget (m_terminal);
     setFocusProxy (m_terminal);
--- a/libgui/src/variable-editor.cc	Tue Jun 26 14:12:25 2018 -0400
+++ b/libgui/src/variable-editor.cc	Tue Jun 26 21:39:38 2018 +0200
@@ -1043,7 +1043,7 @@
       m_focus_widget (nullptr),
       m_focus_widget_vdw (nullptr)
   {
-    setWindowTitle (tr ("Variable Editor"));
+    set_title (tr ("Variable Editor"));
     setStatusTip (tr ("Edit variables."));
     setWindowIcon (QIcon (":/actions/icons/logo.png"));
     setAttribute (Qt::WA_AlwaysShowToolTips);
--- a/libgui/src/workspace-view.cc	Tue Jun 26 14:12:25 2018 -0400
+++ b/libgui/src/workspace-view.cc	Tue Jun 26 21:39:38 2018 +0200
@@ -51,7 +51,7 @@
     : octave_dock_widget ("WorkspaceView", p), m_view (new QTableView (this))
   {
     setWindowIcon (QIcon (":/actions/icons/logo.png"));
-    setWindowTitle (tr ("Workspace"));
+    set_title (tr ("Workspace"));
     setStatusTip (tr ("View the variables in the active workspace."));
 
     m_filter = new QComboBox (this);