mirror of
https://github.com/arduino/Arduino.git
synced 2025-02-20 14:54:31 +01:00
Remove the board name from the cell, only in the title.
This commit is contained in:
parent
b9265a42b1
commit
227bae4f6d
@ -156,7 +156,7 @@ public class ContributedLibraryTableCellJPanel extends JPanel {
|
||||
String desc = "<html><body>";
|
||||
|
||||
// Library name...
|
||||
desc += format("<b>{0}</b>", name);
|
||||
// desc += format("<b>{0}</b>", name);
|
||||
if (mayInstalled.isPresent() && mayInstalled.get().isIDEBuiltIn()) {
|
||||
desc += " Built-In ";
|
||||
}
|
||||
|
@ -215,7 +215,7 @@ public class ContributedPlatformTableCellJPanel extends JPanel {
|
||||
removeButtonPlaceholder.setVisible(!removable);
|
||||
|
||||
String desc = "<html><body>";
|
||||
desc += "<b>" + selected.getName() + "</b>";
|
||||
// desc += "<b>" + selected.getName() + "</b>";
|
||||
if (installed != null && installed.isBuiltIn()) {
|
||||
desc += " Built-In ";
|
||||
}
|
||||
|
Loading…
x
Reference in New Issue
Block a user