Index: /trunk/src/org/openstreetmap/josm/gui/preferences/PreferenceTabbedPane.java =================================================================== --- /trunk/src/org/openstreetmap/josm/gui/preferences/PreferenceTabbedPane.java (revision 15855) +++ /trunk/src/org/openstreetmap/josm/gui/preferences/PreferenceTabbedPane.java (revision 15856) @@ -218,9 +218,14 @@ private void buildPanel() { setBorder(BorderFactory.createEmptyBorder(5, 5, 5, 5)); - add(new JLabel(preferenceSetting.getTitle()), GBC.eol().insets(0, 5, 0, 10).anchor(GBC.NORTHWEST)); - - JLabel descLabel = new JLabel(""+preferenceSetting.getDescription()+""); - descLabel.setFont(descLabel.getFont().deriveFont(Font.ITALIC)); - add(descLabel, GBC.eol().insets(5, 0, 5, 20).fill(GBC.HORIZONTAL)); + add(buildHtmlPanel(preferenceSetting.getTitle(), Font.BOLD), + GBC.eol().insets(0, 5, 0, 10).anchor(GBC.NORTHWEST).fill(GBC.HORIZONTAL)); + add(buildHtmlPanel(preferenceSetting.getDescription(), Font.ITALIC), + GBC.eol().insets(5, 0, 5, 20).fill(GBC.HORIZONTAL)); + } + + private static JLabel buildHtmlPanel(String text, int fontStyle) { + JLabel label = new JLabel("" + text + ""); + label.setFont(label.getFont().deriveFont(fontStyle)); + return label; }