import javax.swing.*;
import java.awt.*;
public class Main {
private static void swingMain() {
JFrame frame = new JFrame("html_height_bug");
frame.setDefaultCloseOperation(WindowConstants.EXIT_ON_CLOSE);
JEditorPane p = new JEditorPane();
p.setContentType("text/html");
p.setText(""
+ ""
+ " prefix"
+ " bigtext1"
+ " bigtext2"
+ " suffix"
+ "
"
+ "Footer text
"
+ "");
p.setEditable(false);
p.setCaret(null);
frame.getContentPane().add(p);
frame.setMinimumSize(new Dimension(300, 300));
frame.pack();
frame.setVisible(true);
}
public static void main(String[] args) {
SwingUtilities.invokeLater(() -> swingMain());
}
}