From c3de478d398b403f339035df9396b2faefaded68 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 a91ec49caeb..dc18980db3c 100644
--- a/app/src/processing/app/Base.java
+++ b/app/src/processing/app/Base.java
@@ -1084,6 +1084,7 @@ public void rebuildImportMenu(JMenu importMenu) {
     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);