MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

ui: respect HiDPI displays in "Available Packages" dialog

Browse Source
This commit is contained in:
Sergey Simonchik
2015-11-05 16:53:57 +03:00
parent da7bbf2537
commit 82d56cb1e3
2 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/lang-impl/src/com/intellij/webcore/packaging/ManagePackagesDialog.form
+1 -3
View File
@@ -5,9 +5,7 @@
<constraints>
<xy x="49" y="40" width="451" height="540"/>
</constraints>
<properties>
<preferredSize width="900" height="700"/>
</properties>
<properties/>
<border type="none"/>
<children>
<grid id="64782" binding="myFilter" custom-create="true" layout-manager="GridLayoutManager" row-count="1" column-count="1" same-size-horizontally="false" same-size-vertically="false" hgap="-1" vgap="-1">
platform/lang-impl/src/com/intellij/webcore/packaging/ManagePackagesDialog.java
+5 -3
View File
@@ -31,6 +31,7 @@ import com.intellij.ui.components.JBList;
import com.intellij.util.CatchingConsumer;
import com.intellij.util.Function;
import com.intellij.util.ObjectUtils;
import com.intellij.util.ui.JBUI;
import com.intellij.util.ui.PlatformColors;
import com.intellij.util.ui.UIUtil;
import com.intellij.util.ui.update.UiNotifyConnector;
@@ -136,10 +137,10 @@ public class ManagePackagesDialog extends DialogWrapper {
.disableRemoveAction()
.addExtraAction(reloadButton)
.createPanel();
packagesPanel.setPreferredSize(new Dimension(400, -1));
packagesPanel.setMinimumSize(new Dimension(100, -1));
packagesPanel.setPreferredSize(new Dimension(JBUI.scale(400), -1));
packagesPanel.setMinimumSize(new Dimension(JBUI.scale(100), -1));
myPackages.setFixedCellWidth(0);
myPackages.setFixedCellHeight(22);
myPackages.setFixedCellHeight(JBUI.scale(22));
myPackages.setSelectionMode(ListSelectionModel.SINGLE_SELECTION);
mySplitPane.setLeftComponent(packagesPanel);
@@ -187,6 +188,7 @@ public class ManagePackagesDialog extends DialogWrapper {
else {
myInstallToUser.setVisible(false);
}
myMainPanel.setPreferredSize(new Dimension(JBUI.scale(900), JBUI.scale(700)));
}
public void selectPackage(@NotNull InstalledPackage pkg) {