From f8540b3a59f610e9c05a3b8f7afbc4f48bf18e9a Mon Sep 17 00:00:00 2001
From: Martino Facchin <m.facchin@arduino.cc>
Date: Thu, 7 Dec 2017 16:03:19 +0100
Subject: [PATCH] rescan libraries when installing from zip file

Fixes https://github.com/arduino/Arduino/issues/6960
---
 app/src/processing/app/Base.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/app/src/processing/app/Base.java b/app/src/processing/app/Base.java
index b857a61b8..4b2c6f90d 100644
--- a/app/src/processing/app/Base.java
+++ b/app/src/processing/app/Base.java
@@ -1084,6 +1084,7 @@ public class Base {
     addLibraryMenuItem.addActionListener(new ActionListener() {
       public void actionPerformed(ActionEvent e) {
         Base.this.handleAddLibrary();
+        BaseNoGui.librariesIndexer.rescanLibraries();
         Base.this.onBoardOrPortChange();
         Base.this.rebuildImportMenu(Editor.importMenu);
         Base.this.rebuildExamplesMenu(Editor.examplesMenu);