rooty/Arduino
1
0
Fork 0
mirror of https://github.com/arduino/Arduino.git synced 2024-11-29 10:24:12 +01:00
Code Issues Releases Activity

rescan libraries when installing from zip file

Browse Source 
Fixes https://github.com/arduino/Arduino/issues/6960
This commit is contained in:
Martino Facchin 2017-12-07 16:03:19 +01:00
parent 98bd18ee8d
commit f8540b3a59
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
app/src/processing/app/Base.java
View File

@ -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);