Changeset 1672 in josm for trunk/src/org/openstreetmap/josm/plugins
- Timestamp:
- 2009-06-16T09:06:47+02:00 (16 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/plugins/PluginSelection.java
r1671 r1672 196 196 description.setContentType("text/html"); 197 197 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()); 200 200 description.setBackground(UIManager.getColor("Panel.background")); 201 201 description.addHyperlinkListener(new HyperlinkListener() { … … 208 208 209 209 gbc.gridy = row++; 210 gbc.insets = new Insets(3,5,5,5); 210 gbc.insets = new Insets(3,25,5,5); 211 211 gbc.weighty = 0.9; 212 212 gbc.weightx = 1.0;
Note:
See TracChangeset
for help on using the changeset viewer.