Trigger Keywords update if a new library is added

Fixes #5415

Author: facchinm

app/src/processing/app/Base.java

@@ -1295,6 +1295,7 @@ public void rebuildExamplesMenu(JMenu menu) {
   }
 
   private static String priorPlatformFolder;
+  private static boolean newLibraryImported;
 
   public void onBoardOrPortChange() {
     BaseNoGui.onBoardOrPortChange();
@@ -1303,10 +1304,11 @@ public void onBoardOrPortChange() {
     TargetPlatform tp = BaseNoGui.getTargetPlatform();
     if (tp != null) {
       String platformFolder = tp.getFolder().getAbsolutePath();
-      if (priorPlatformFolder == null || !priorPlatformFolder.equals(platformFolder)) {
+      if (priorPlatformFolder == null || !priorPlatformFolder.equals(platformFolder) || newLibraryImported) {
         pdeKeywords = new PdeKeywords();
         pdeKeywords.reload();
         priorPlatformFolder = platformFolder;
+        newLibraryImported = false;
         for (Editor editor : editors) {
           editor.updateKeywords(pdeKeywords);
         }
@@ -1346,6 +1348,7 @@ protected void onIndexesUpdated() throws Exception {
     // Manager dialog is modal, waits here until closed
 
     //handleAddLibrary();
+    newLibraryImported = true;
     onBoardOrPortChange();
     rebuildImportMenu(Editor.importMenu);
     rebuildExamplesMenu(Editor.examplesMenu);
@@ -2303,6 +2306,7 @@ public void handleAddLibrary() {
       // FIXME error when importing. ignoring :(
     } finally {
       // delete zip created temp folder, if exists
+      newLibraryImported = true;
       FileUtils.recursiveDelete(tmpFolder);
     }
   }