From e18261f486ad59acdc6754939b79cd3642e6df3b Mon Sep 17 00:00:00 2001
From: Cristian Maglie <c.maglie@arduino.cc>
Date: Tue, 22 May 2018 09:53:37 +0200
Subject: [PATCH] library manager: installed element is now displayed correctly

---
 .../contributions/libraries/ui/LibraryManagerUI.java   | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/app/src/cc/arduino/contributions/libraries/ui/LibraryManagerUI.java b/app/src/cc/arduino/contributions/libraries/ui/LibraryManagerUI.java
index 4f77da655..e71093692 100644
--- a/app/src/cc/arduino/contributions/libraries/ui/LibraryManagerUI.java
+++ b/app/src/cc/arduino/contributions/libraries/ui/LibraryManagerUI.java
@@ -218,8 +218,9 @@ public class LibraryManagerUI extends InstallerJDialog<ContributedLibraryRelease
       try {
         setProgressVisible(true, tr("Installing..."));
         installer.install(lib, mayReplaced, this::setProgress);
-        onIndexesUpdated(); // TODO: Do a better job in refreshing only the needed element
-        //getContribModel().updateLibrary(lib);
+        onIndexesUpdated();
+        // TODO: Do a better job in refreshing only the needed element
+        ((LibrariesIndexTableModel) contribModel).update();
       } catch (Exception e) {
         throw new RuntimeException(e);
       } finally {
@@ -246,8 +247,9 @@ public class LibraryManagerUI extends InstallerJDialog<ContributedLibraryRelease
       try {
         setProgressVisible(true, tr("Removing..."));
         installer.remove(lib, this::setProgress);
-        onIndexesUpdated(); // TODO: Do a better job in refreshing only the needed element
-        //getContribModel().updateLibrary(lib);
+        onIndexesUpdated();
+        // TODO: Do a better job in refreshing only the needed element
+        ((LibrariesIndexTableModel) contribModel).update();
       } catch (Exception e) {
         throw new RuntimeException(e);
       } finally {