6715 make domain name font larger

This commit is contained in:
William Schaefer 2020-09-15 13:09:59 -04:00
parent 342195ad0f
commit 15f088300d

View File

@ -46,7 +46,7 @@ class DomainSummaryPanel extends javax.swing.JPanel implements ListCellRenderer<
*/
DomainSummaryPanel() {
initComponents();
domainNameLabel.setFont(domainNameLabel.getFont().deriveFont(domainNameLabel.getFont().getSize() + 6));
domainNameLabel.setFont(domainNameLabel.getFont().deriveFont(domainNameLabel.getFont().getStyle(), domainNameLabel.getFont().getSize() + 6));
}
/**