Merge pull request #2855 from manongjohn/fix_blank_style_editor_panel

Fix blank Style Editor panel
This commit is contained in:
Rodney 2019-10-25 11:24:44 -05:00 committed by GitHub
commit 7276e69819
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -423,8 +423,9 @@ void DockLayout::applyTransform(const QTransform &transform) {
//------------------------------------------------------
void DockLayout::redistribute() {
std::vector<QWidget *> widgets;
if (!m_regions.empty()) {
std::vector<QWidget *> widgets;
// Recompute extremal region sizes
// NOTA: Sarebbe da fare solo se un certo flag lo richiede; altrimenti tipo
// per resize events e' inutile...
@ -460,14 +461,15 @@ void DockLayout::redistribute() {
// Recompute Layout geometry
m_regions.front()->setGeometry(contentsRect());
m_regions.front()->redistribute();
for (QWidget *widget : widgets) {
widget->setMaximumSize(QWIDGETSIZE_MAX, QWIDGETSIZE_MAX);
widget->setMinimumSize(0, 0);
}
}
// Finally, apply Region geometries found
applyGeometry();
for (QWidget *widget : widgets) {
widget->setMaximumSize(QWIDGETSIZE_MAX, QWIDGETSIZE_MAX);
widget->setMinimumSize(0, 0);
}
}
//======================================================================