Switched to ToolButton instead of PushButtons for Close- and TabsMenu button in dock area title bar

2018-11-01 09:07:10 +01:00
parent 3f5697554a
commit a9246f7ce4
3 changed files with 9 additions and 7 deletions
--- a/src/DockManager.cpp
+++ b/src/DockManager.cpp
@@ -271,7 +271,6 @@ bool DockManagerPrivate::restoreState(const QByteArray &state, int version)
    		CDockAreaWidget* DockArea = DockContainer->dockArea(i);
    		QString DockWidgetName = DockArea->property("currentDockWidget").toString();
    		CDockWidget* DockWidget = _this->findDockWidget(DockWidgetName);
-    		std::cout << "restore DockWIdgetName " << DockWidget->objectName().toStdString() << std::endl;
    		if (!DockWidget->isClosed())
    		{
    			DockArea->internalSetCurrentDockWidget(DockWidget);