Ticket #2922: 2922.patch

File 2922.patch, 2.3 KB (added by simon04, 13 years ago)
  • src/org/openstreetmap/josm/gui/dialogs/properties/PresetListPanel.java

    diff --git a/src/org/openstreetmap/josm/gui/dialogs/properties/PresetListPanel.java b/src/org/openstreetmap/josm/gui/dialogs/properties/PresetListPanel.java
    index 3165798..f8bf80f 100644
    a b import java.awt.Font;  
    77import java.awt.GridBagLayout;
    88import java.awt.event.MouseEvent;
    99import java.awt.event.MouseListener;
     10import java.awt.font.TextAttribute;
    1011import java.util.Collection;
     12import java.util.Collections;
     13import java.util.Hashtable;
    1114import java.util.List;
    1215import java.util.Map;
    1316
     17import javax.swing.Action;
     18import javax.swing.Icon;
    1419import javax.swing.JLabel;
    1520import javax.swing.JPanel;
    1621
    public class PresetListPanel extends JPanel {  
    4146     */
    4247    private static class PresetLabelML implements MouseListener {
    4348        final JLabel label;
    44         final Font bold;
     49        final Font hover;
    4550        final Font normal;
    4651        final TaggingPreset tag;
    4752        final PresetHandler presetHandler;
    public class PresetListPanel extends JPanel {  
    5156            label = lbl;
    5257            lbl.setCursor(new Cursor(Cursor.HAND_CURSOR));
    5358            normal = label.getFont();
    54             bold = normal.deriveFont(normal.getStyle() ^ Font.BOLD);
     59            hover = normal.deriveFont(Collections.singletonMap(TextAttribute.UNDERLINE, TextAttribute.UNDERLINE_LOW_DOTTED));
    5560            tag = t;
    5661            this.presetHandler = presetHandler;
    5762        }
    public class PresetListPanel extends JPanel {  
    6772
    6873        }
    6974        public void mouseEntered(MouseEvent arg0) {
    70             label.setFont(bold);
     75            label.setFont(hover);
    7176        }
    7277        public void mouseExited(MouseEvent arg0) {
    7378            label.setFont(normal);
    public class PresetListPanel extends JPanel {  
    133138                    continue;
    134139                }
    135140
    136                 JLabel lbl = new JLabel(t.getName());
     141                JLabel lbl = new JLabel(t.getName() + " …");
     142                lbl.setIcon((Icon) t.getValue(Action.SMALL_ICON));
    137143                lbl.addMouseListener(new PresetLabelML(lbl, t, presetHandler));
    138144                add(lbl, GBC.eol().fill(GBC.HORIZONTAL));
    139145            }