Changeset 1672 in josm for trunk/src/org/openstreetmap/josm


Ignore:
Timestamp:
2009-06-16T09:06:47+02:00 (15 years ago)
Author:
stoecker
Message:

fix #2726 - patch by Bananeweizen - minor UI design issue

File:
1 edited

Legend:

Unmodified
Added
Removed

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

    r1671 r1672  
    196196            description.setContentType("text/html");
    197197            description.setEditable(false);
    198             description.setText("<html><i>"+plugin.getLinkDescription()+"</i></html>");
    199             description.setBorder(BorderFactory.createEmptyBorder(0,20,0,0));
     198            description.setText("<html><body bgcolor=\"#" + Integer.toHexString( UIManager.getColor("Panel.background").getRGB() & 0x00ffffff ) +"\"><i>"+plugin.getLinkDescription()+"</i></body></html>");
     199            description.setBorder(BorderFactory.createEmptyBorder());
    200200            description.setBackground(UIManager.getColor("Panel.background"));
    201201            description.addHyperlinkListener(new HyperlinkListener() {
    … …  
    208208
    209209            gbc.gridy = row++;
    210             gbc.insets = new Insets(3,5,5,5);
     210            gbc.insets = new Insets(3,25,5,5);
    211211            gbc.weighty = 0.9;
    212212            gbc.weightx = 1.0;
Note: See TracChangeset for help on using the changeset viewer.