167 | | JLabel label = new JLabel("<html><i>"+(p.info.description==null?tr("no description available"):p.info.description)+"</i></html>"); |
168 | | label.setBorder(BorderFactory.createEmptyBorder(0,20,0,0)); |
169 | | label.setMaximumSize(new Dimension(450,1000)); |
170 | | pluginTab.add(label, GBC.eop().fill(GBC.HORIZONTAL)); |
| 168 | |
| 169 | JTextArea description = new JTextArea((p.info.description==null? tr("no description available"):p.info.description)); |
| 170 | description.setEditable(false); |
| 171 | description.setFont(new JLabel().getFont().deriveFont(Font.ITALIC)); |
| 172 | description.setLineWrap(true); |
| 173 | description.setWrapStyleWord(true); |
| 174 | description.setBorder(BorderFactory.createEmptyBorder(0,20,0,0)); |
| 175 | description.setBackground(UIManager.getColor("Panel.background")); |
| 176 | |
| 177 | pluginTab.add(description, GBC.eop().fill(GBC.HORIZONTAL)); |