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

MemoryWidget: make constants HiDPI friendly

Browse Source
This commit is contained in:
Konstantin Bulenkov
2015-07-20 21:48:31 +02:00
parent 560b61a3be
commit 7b231d5202
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/openapi/wm/impl/status/MemoryUsagePanel.java
+2 -2
View File
@@ -221,8 +221,8 @@ public class MemoryUsagePanel extends JButton implements CustomStatusBarWidget {
@Override
public Dimension getPreferredSize() {
final Insets insets = getInsets();
int width = getFontMetrics(getWidgetFont()).stringWidth(SAMPLE_STRING) + insets.left + insets.right + 2;
int height = getFontMetrics(getWidgetFont()).getHeight() + insets.top + insets.bottom + 2;
int width = getFontMetrics(getWidgetFont()).stringWidth(SAMPLE_STRING) + insets.left + insets.right + JBUI.scale(2);
int height = getFontMetrics(getWidgetFont()).getHeight() + insets.top + insets.bottom + JBUI.scale(2);
return new Dimension(width, height);
}