1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-03-14 11:29:26 +01:00

also rebuild examples menu after library import

This commit is contained in:
Federico Fissore 2012-10-19 10:41:43 +02:00
parent 308793135c
commit e3c088e167

View File

@ -963,6 +963,7 @@ public class Base {
Base.this.handleAddLibrary(editor); Base.this.handleAddLibrary(editor);
Base.this.onBoardOrPortChange(); Base.this.onBoardOrPortChange();
Base.this.rebuildImportMenu(Editor.importMenu, editor); Base.this.rebuildImportMenu(Editor.importMenu, editor);
Base.this.rebuildExamplesMenu(Editor.examplesMenu);
} }
}); });
importMenu.add(addLibraryMenuItem); importMenu.add(addLibraryMenuItem);