// Use IconUIResource as an icon, because with ImageIcon bug is not reproduced
JButton button1 = new JButton(new IconUIResource(new ImageIcon(image)));
JButton button2 = new JButton(new IconUIResource(new ImageIcon(image)));
button2.setEnabled(false);
if (button1.getPreferredSize().getHeight() != button2.getPreferredSize().getHeight()) {
fail("Two similar buttons have different size");
}
}
});
}
¤ Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.0.11Bemerkung:
(vorverarbeitet am 2026-06-10)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.