Divide the pixmap size with device pixel ratio for labels size (#7850)

Use QLabel::setScaledContents(true) to automatically scale the pixmap Fixes #7768
OpenModelica · Sep 2, 2021 · e6b71af · e6b71af
1 parent c80f58e
commit e6b71af
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/OMEdit/OMEditLIB/Element/ElementProperties.cpp b/OMEdit/OMEditLIB/Element/ElementProperties.cpp
@@ -595,6 +595,7 @@ GroupBox::GroupBox(const QString &title, QWidget *parent)
   : QGroupBox(title, parent)
 {
   mpGroupImageLabel = new Label;
+  mpGroupImageLabel->setScaledContents(true);
   mpGridLayout = new QGridLayout;
   mpGridLayout->setObjectName(title);
   mpGridLayout->setAlignment(Qt::AlignTop | Qt::AlignLeft);
@@ -613,6 +614,8 @@ void GroupBox::setGroupImage(QString groupImage)
 {
   if (QFile::exists(groupImage)) {
     QPixmap pixmap(groupImage);
+    mpGroupImageLabel->setMaximumWidth(pixmap.width() / qApp->devicePixelRatio());
+    mpGroupImageLabel->setMaximumHeight(pixmap.height() / qApp->devicePixelRatio());
     mpGroupImageLabel->setPixmap(pixmap);
   }
 }