Ticket #2726: PluginSelection.java.patch

File PluginSelection.java.patch, 1.7 KB (added by Bananeweizen, 3 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;