# HG changeset patch # User Torsten # Date 1530041978 -7200 # Node ID 3edae6ba1fcde67f1f435db32dbaf1c24d5c13bb # Parent b61f3500651fcbd7fecb0a3b3573453e11c3fd2a 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 diff -r b61f3500651f -r 3edae6ba1fcd libgui/src/documentation-dock-widget.cc --- 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); diff -r b61f3500651f -r 3edae6ba1fcd libgui/src/files-dock-widget.cc --- 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; diff -r b61f3500651f -r 3edae6ba1fcd libgui/src/history-dock-widget.cc --- 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); diff -r b61f3500651f -r 3edae6ba1fcd libgui/src/m-editor/file-editor.cc --- 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 (); } diff -r b61f3500651f -r 3edae6ba1fcd libgui/src/terminal-dock-widget.cc --- 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); diff -r b61f3500651f -r 3edae6ba1fcd libgui/src/variable-editor.cc --- 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); diff -r b61f3500651f -r 3edae6ba1fcd libgui/src/workspace-view.cc --- 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);