Index: src/org/openstreetmap/josm/plugins/PluginSelection.java
===================================================================
--- src/org/openstreetmap/josm/plugins/PluginSelection.java (revision 1668)
+++ src/org/openstreetmap/josm/plugins/PluginSelection.java (working copy)
@@ -37,6 +37,9 @@
import javax.swing.event.HyperlinkEvent;
import javax.swing.event.HyperlinkListener;
import javax.swing.event.HyperlinkEvent.EventType;
+import javax.swing.text.html.HTMLDocument;
+import javax.swing.text.html.HTMLEditorKit;
+import javax.swing.text.html.StyleSheet;
import org.openstreetmap.josm.Main;
import org.openstreetmap.josm.gui.ExtendedDialog;
@@ -204,8 +207,8 @@
JEditorPane description = new JEditorPane();
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() {
public void hyperlinkUpdate(HyperlinkEvent e) {
@@ -216,7 +219,7 @@
});
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;
gbc.anchor = GridBagConstraints.WEST;