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 45c0cb225..1bdf8d83b 100644 --- a/src/main/java/de/neemann/digital/gui/components/ElementHelpDialog.java +++ b/src/main/java/de/neemann/digital/gui/components/ElementHelpDialog.java @@ -8,6 +8,7 @@ import de.neemann.digital.draw.library.ElementLibrary; import de.neemann.digital.draw.shapes.ShapeFactory; import de.neemann.digital.lang.Lang; import de.neemann.gui.ErrorMessage; +import de.neemann.gui.Screen; import de.neemann.gui.ToolTipAction; import javax.imageio.ImageIO; @@ -99,6 +100,7 @@ public class ElementHelpDialog extends JDialog { JEditorPane editorPane = new JEditorPane("text/html", description); editorPane.setEditable(false); editorPane.setCaretPosition(0); + editorPane.putClientProperty(JEditorPane.HONOR_DISPLAY_PROPERTIES, true); editorPane.addHyperlinkListener(hyperlinkEvent -> { if (HyperlinkEvent.EventType.ACTIVATED == hyperlinkEvent.getEventType()) { @@ -124,7 +126,7 @@ public class ElementHelpDialog extends JDialog { Dimension r = getSize(); if (r.width > MAX_WIDTH) r.width = MAX_WIDTH; if (r.height > MAX_HEIGHT) r.height = MAX_HEIGHT; - setSize(r); + setSize(Screen.getInstance().scale(r)); setLocationRelativeTo(parent); } diff --git a/src/main/java/de/neemann/digital/gui/components/table/ShowStringDialog.java b/src/main/java/de/neemann/digital/gui/components/table/ShowStringDialog.java index 57c12d1d2..561a34d96 100644 --- a/src/main/java/de/neemann/digital/gui/components/table/ShowStringDialog.java +++ b/src/main/java/de/neemann/digital/gui/components/table/ShowStringDialog.java @@ -1,5 +1,7 @@ package de.neemann.digital.gui.components.table; +import de.neemann.gui.Screen; + import javax.swing.*; import javax.swing.text.JTextComponent; import java.awt.*; @@ -54,7 +56,8 @@ public class ShowStringDialog extends JDialog { if (html) { textComp = new JEditorPane("text/html", str); textComp.setCaretPosition(0); - textComp.setPreferredSize(new Dimension(600, 800)); + textComp.putClientProperty(JEditorPane.HONOR_DISPLAY_PROPERTIES, true); + textComp.setPreferredSize(Screen.getInstance().scale(new Dimension(600, 800))); } else { textComp = new JTextArea(str); textComp.setFont(new JLabel().getFont());