3232import static processing .app .I18n .format ;
3333import static processing .app .I18n .tr ;
3434
35- import java .awt .Color ;
36- import java .awt .Component ;
37- import java .awt .Dimension ;
38- import java .awt .Insets ;
39-
40- import javax .swing .Box ;
41- import javax .swing .BoxLayout ;
42- import javax .swing .JButton ;
43- import javax .swing .JComboBox ;
44- import javax .swing .JLabel ;
45- import javax .swing .JPanel ;
46- import javax .swing .JTable ;
47- import javax .swing .JTextPane ;
35+ import java .awt .*;
36+
37+ import javax .swing .*;
4838import javax .swing .border .EmptyBorder ;
39+ import javax .swing .border .TitledBorder ;
4940import javax .swing .event .HyperlinkEvent ;
5041import javax .swing .text .Document ;
5142import javax .swing .text .html .HTMLDocument ;
@@ -196,6 +187,9 @@ void update(JTable parentTable, Object value, boolean isSelected,
196187 }
197188
198189 ContributedPlatform selected = releases .getSelected ();
190+ TitledBorder titledBorder = BorderFactory .createTitledBorder (selected .getName ());
191+ titledBorder .setTitleFont (getFont ().deriveFont (Font .BOLD ));
192+ this .setBorder (titledBorder );
199193 ContributedPlatform installed = releases .getInstalled ();
200194
201195 boolean removable , installable , upgradable ;
@@ -221,7 +215,7 @@ void update(JTable parentTable, Object value, boolean isSelected,
221215 removeButtonPlaceholder .setVisible (!removable );
222216
223217 String desc = "<html><body>" ;
224- desc += "<b>" + selected .getName () + "</b>" ;
218+ // desc += "<b>" + selected.getName() + "</b>";
225219 if (installed != null && installed .isBuiltIn ()) {
226220 desc += " Built-In " ;
227221 }
0 commit comments