ExtensionsManager: Reposition some ui elements in the extensions browser

Fixes: QTCREATORBUG-31800
Change-Id: I624e51eda9b8180f42df60e77b42e404db951a65
Reviewed-by: Marcus Tillmanns <marcus.tillmanns@qt.io>
This commit is contained in:
Alessandro Portale
2024-10-14 12:52:57 +02:00
parent cb8f75a03a
commit b66942f077

View File

@@ -574,6 +574,7 @@ ExtensionsBrowser::ExtensionsBrowser(ExtensionsModel *model, QWidget *parent)
auto settingsToolButton = new QPushButton; auto settingsToolButton = new QPushButton;
settingsToolButton->setIcon(Icons::SETTINGS.icon()); settingsToolButton->setIcon(Icons::SETTINGS.icon());
settingsToolButton->setFlat(true); settingsToolButton->setFlat(true);
settingsToolButton->setSizePolicy(QSizePolicy::Maximum, QSizePolicy::Preferred);
d->extensionsView = new QListView; d->extensionsView = new QListView;
d->extensionsView->setFrameStyle(QFrame::NoFrame); d->extensionsView->setFrameStyle(QFrame::NoFrame);
@@ -587,31 +588,31 @@ ExtensionsBrowser::ExtensionsBrowser(ExtensionsModel *model, QWidget *parent)
QStackedWidget *extensionViewStack; QStackedWidget *extensionViewStack;
const int rightMargin = extraListViewWidth() + gapSize;
using namespace Layouting; using namespace Layouting;
Column { Column {
Column { Row {
titleLabel, titleLabel,
customMargins(0, VPaddingM, 0, VPaddingM), settingsToolButton,
customMargins(0, VPaddingM, rightMargin, VPaddingM),
}, },
Row { Row {
d->searchBox, d->searchBox,
spacing(gapSize), spacing(gapSize),
customMargins(0, VPaddingM, extraListViewWidth() + gapSize, VPaddingM), customMargins(0, VPaddingM, rightMargin, VPaddingM),
}, },
Row { Row {
d->sortChooser,
d->filterChooser, d->filterChooser,
st, st,
settingsToolButton, d->sortChooser,
spacing(HGapS), customMargins(0, 0, rightMargin, 0),
customMargins(0, 0, extraListViewWidth() + gapSize, 0),
}, },
Stack { Stack {
bindTo(&extensionViewStack), bindTo(&extensionViewStack),
d->extensionsView, d->extensionsView,
Row { Row {
extensionViewPlaceHolder(), extensionViewPlaceHolder(),
customMargins(0, 0, extraListViewWidth() + gapSize, 0), customMargins(0, 0, rightMargin, 0),
}, },
}, },
noMargin, spacing(0), noMargin, spacing(0),