diff --git a/src/main/java/de/neemann/digital/gui/components/ElementHelpDialog.java b/src/main/java/de/neemann/digital/gui/components/ElementHelpDialog.java index 1bdf8d83b..a7f74b705 100644 --- a/src/main/java/de/neemann/digital/gui/components/ElementHelpDialog.java +++ b/src/main/java/de/neemann/digital/gui/components/ElementHelpDialog.java @@ -272,7 +272,10 @@ public class ElementHelpDialog extends JDialog { static BufferedImage getImage(String name) { BufferedImage bi = imageMap.get(name); if (bi == null) { - bi = new VisualElement(name).setShapeFactory(shapeFactory).getBufferedImage(0.75 * IMAGE_SCALE, 250 * IMAGE_SCALE); + final float scale = IMAGE_SCALE * Screen.getInstance().getScaling(); + bi = new VisualElement(name) + .setShapeFactory(shapeFactory) + .getBufferedImage(0.75 * scale, (int) (250 * scale)); imageMap.put(name, bi); } return bi; diff --git a/src/main/java/de/neemann/digital/gui/components/ElementOrderer.java b/src/main/java/de/neemann/digital/gui/components/ElementOrderer.java index d679c3ac3..841f9aae0 100644 --- a/src/main/java/de/neemann/digital/gui/components/ElementOrderer.java +++ b/src/main/java/de/neemann/digital/gui/components/ElementOrderer.java @@ -1,6 +1,7 @@ package de.neemann.digital.gui.components; import de.neemann.digital.lang.Lang; +import de.neemann.gui.Screen; import de.neemann.gui.ToolTipAction; import javax.swing.*; @@ -42,7 +43,7 @@ public class ElementOrderer extends JDialog { list = new JList(listModel); JScrollPane scrollPane = new JScrollPane(list); getContentPane().add(scrollPane); - scrollPane.setPreferredSize(new Dimension(100, 150)); + scrollPane.setPreferredSize(Screen.getInstance().scale(new Dimension(100, 150))); buttons = new JPanel(); buttons.setLayout(new BoxLayout(buttons, BoxLayout.Y_AXIS));