rescan libraries when installing from zip file

Fixes arduino#6960
facchinm · May 2, 2018 · c3de478 · c3de478
1 parent 91f11a5
commit c3de478
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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);