Update toolwindowmanager to 8a1543b

This commit is contained in:
baldurk
2017-06-01 12:41:12 +01:00
parent 26c4284b26
commit 39f2a6d3dc
@@ -277,8 +277,10 @@ void ToolWindowManager::moveToolWindows(QList<QWidget *> toolWindows,
parentSplitter->insertWidget(insertIndex, newArea);
if(parentSplitterSizes.count() > indexInParentSplitter && parentSplitterSizes[0] != 0) {
parentSplitterSizes[indexInParentSplitter] /= 2;
parentSplitterSizes.insert(indexInParentSplitter, parentSplitterSizes[indexInParentSplitter]);
int availSize = parentSplitterSizes[indexInParentSplitter];
parentSplitterSizes[indexInParentSplitter] = int(availSize * (1.0f - area.percentage()));
parentSplitterSizes.insert(indexInParentSplitter, int(availSize * area.percentage()));
parentSplitter->setSizes(parentSplitterSizes);
}