HTML div タグを使用して JLabel の幅を設定しようとしています。
次のコードを検討してください。
import javax.swing.*;
public class Xyzzy extends JFrame{
public static void main(String[] args) {
javax.swing.SwingUtilities.invokeLater(new Runnable() {
public void run() {
Xyzzy frame = new Xyzzy();
frame.setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);
frame.setLayout(new BoxLayout(frame.getContentPane(), BoxLayout.PAGE_AXIS));
String s = "x ";
for (int i=0; i<200; ++i)
s += "x ";
JLabel jl = new JLabel("<html><div style=\"width: 300px;\">" + s + "</div></html>");
frame.add(jl);
frame.setSize(600, 600);
frame.setVisible(true);
}
});
}
}
JLabel は 300 ピクセル幅であると予想していましたが、実際には約 390 ピクセル幅です。幅の仕様を 200px に変更すると、結果のラベルの幅は約 260 ピクセルになります。
私は何を間違っていますか?