1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-01-17 06:52:18 +01:00

also rebuild examples menu after library import

This commit is contained in:
Federico Fissore 2012-10-19 10:41:43 +02:00 committed by Cristian Maglie
parent 29856fff53
commit 3d5c76a8a1

View File

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