Use Library.RealName for installed libraries

cmaglie · cmaglie · commit 5295e106db1b · 2020-07-24T12:37:53.000+02:00
diff --git a/arduino-core/src/cc/arduino/contributions/libraries/LibrariesIndexer.java b/arduino-core/src/cc/arduino/contributions/libraries/LibrariesIndexer.java
@@ -183,7 +183,7 @@ public void rescanLibraries() {
 
       UserLibrary lib = new UserLibrary( //
           new File(l.getInstallDir()), //
-          l.getName(), //
+          l.getRealName(), //
           l.getVersion(), //
           l.getAuthor(), //
           l.getMaintainer(), //
