Update toolwindowmanager to b822d2e0d92063a9ceba112b7d4b89716da5da88

This commit is contained in:
baldurk
2017-11-10 17:01:02 +00:00
parent 2f02f2159e
commit 9958b47007
2 changed files with 7 additions and 1 deletions
@@ -280,7 +280,7 @@ void ToolWindowManager::moveToolWindows(QList<QWidget *> toolWindows,
int availSize = parentSplitterSizes[indexInParentSplitter];
parentSplitterSizes[indexInParentSplitter] = int(availSize * (1.0f - area.percentage()));
parentSplitterSizes.insert(indexInParentSplitter, int(availSize * area.percentage()));
parentSplitterSizes.insert(insertIndex, int(availSize * area.percentage()));
parentSplitter->setSizes(parentSplitterSizes);
}
@@ -314,6 +314,12 @@ bool ToolWindowManagerWrapper::eventFilter(QObject *object, QEvent *event) {
} else {
showMaximized();
}
} else if (event->type() == QEvent::NonClientAreaMouseButtonDblClick) {
if (isMaximized()) {
showNormal();
} else {
showMaximized();
}
}
}
return QWidget::eventFilter(object, event);