Remove the board name from the cell, only in the title.

Joe Wegner · Joe Wegner · commit 227bae4f6d4e · 2019-10-01T08:06:41.000-04:00
diff --git a/app/src/cc/arduino/contributions/libraries/ui/ContributedLibraryTableCellJPanel.java b/app/src/cc/arduino/contributions/libraries/ui/ContributedLibraryTableCellJPanel.java
@@ -156,7 +156,7 @@ public ContributedLibraryTableCellJPanel(JTable parentTable, Object value,
     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 ";
     }
diff --git a/app/src/cc/arduino/contributions/packages/ui/ContributedPlatformTableCellJPanel.java b/app/src/cc/arduino/contributions/packages/ui/ContributedPlatformTableCellJPanel.java
@@ -215,7 +215,7 @@ void update(JTable parentTable, Object value, boolean isSelected,
     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 ";
     }

Original file line number	Diff line number	Diff line change
`@@ -156,7 +156,7 @@ public ContributedLibraryTableCellJPanel(JTable parentTable, Object value,`
`156`	`156`	`String desc = "<html><body>";`
`157`	`157`
`158`	`158`	`// Library name...`
`159`		`- desc += format("<b>{0}</b>", name);`
	`159`	`+// desc += format("<b>{0}</b>", name);`
`160`	`160`	`if (mayInstalled.isPresent() && mayInstalled.get().isIDEBuiltIn()) {`
`161`	`161`	`desc += " Built-In ";`
`162`	`162`	`}`
Original file line number	Diff line number	Diff line change
`@@ -215,7 +215,7 @@ void update(JTable parentTable, Object value, boolean isSelected,`
`215`	`215`	`removeButtonPlaceholder.setVisible(!removable);`
`216`	`216`
`217`	`217`	`String desc = "<html><body>";`
`218`		`- desc += "<b>" + selected.getName() + "</b>";`
	`218`	`+// desc += "<b>" + selected.getName() + "</b>";`
`219`	`219`	`if (installed != null && installed.isBuiltIn()) {`
`220`	`220`	`desc += " Built-In ";`
`221`	`221`	`}`