Ticket #2726: PluginSelection.java.patch

File PluginSelection.java.patch, 1.7 KB (added by Bananeweizen, 17 years ago)

Patch

  • src/org/openstreetmap/josm/plugins/PluginSelection.java

     
    3737import javax.swing.event.HyperlinkEvent;
    3838import javax.swing.event.HyperlinkListener;
    3939import javax.swing.event.HyperlinkEvent.EventType;
     40import javax.swing.text.html.HTMLDocument;
     41import javax.swing.text.html.HTMLEditorKit;
     42import javax.swing.text.html.StyleSheet;
    4043
    4144import org.openstreetmap.josm.Main;
    4245import org.openstreetmap.josm.gui.ExtendedDialog;
    … …  
    204207            JEditorPane description = new JEditorPane();
    205208            description.setContentType("text/html");
    206209            description.setEditable(false);
    207             description.setText("<html><i>"+plugin.getLinkDescription()+"</i></html>");
    208             description.setBorder(BorderFactory.createEmptyBorder(0,20,0,0));
     210            description.setText("<html><body bgcolor=\"#" + Integer.toHexString( UIManager.getColor("Panel.background").getRGB() & 0x00ffffff ) +"\"><i>"+plugin.getLinkDescription()+"</i></body></html>");
     211            description.setBorder(BorderFactory.createEmptyBorder());
    209212            description.setBackground(UIManager.getColor("Panel.background"));
    210213            description.addHyperlinkListener(new HyperlinkListener() {
    211214                public void hyperlinkUpdate(HyperlinkEvent e) {
    … …  
    216219            });
    217220
    218221            gbc.gridy = row++;
    219             gbc.insets = new Insets(3,5,5,5);
     222            gbc.insets = new Insets(3,25,5,5);
    220223            gbc.weighty = 0.9;
    221224            gbc.weightx = 1.0;
    222225            gbc.anchor = GridBagConstraints.WEST;