Index: trunk/src/org/openstreetmap/josm/plugins/PluginSelection.java
===================================================================
--- trunk/src/org/openstreetmap/josm/plugins/PluginSelection.java (revision 1671)
+++ trunk/src/org/openstreetmap/josm/plugins/PluginSelection.java (revision 1672)
@@ -196,6 +196,6 @@
description.setContentType("text/html");
description.setEditable(false);
- description.setText(""+plugin.getLinkDescription()+"");
- description.setBorder(BorderFactory.createEmptyBorder(0,20,0,0));
+ description.setText(""+plugin.getLinkDescription()+"");
+ description.setBorder(BorderFactory.createEmptyBorder());
description.setBackground(UIManager.getColor("Panel.background"));
description.addHyperlinkListener(new HyperlinkListener() {
@@ -208,5 +208,5 @@
gbc.gridy = row++;
- gbc.insets = new Insets(3,5,5,5);
+ gbc.insets = new Insets(3,25,5,5);
gbc.weighty = 0.9;
gbc.weightx = 1.0;