Boards Menu: add hint if core lives in sketchbook

Author: facchinm

app/src/processing/app/Base.java

@@ -1494,6 +1494,10 @@ public void actionPerformed(ActionEvent actionevent) {
         if (platformLabel == null)
           platformLabel = targetPackage.getId() + "-" + targetPlatform.getId();
 
+        // add an hint that this core lives in sketchbook
+        if (targetPlatform.isInSketchbook())
+          platformLabel += " (sketchbook)";
+
         JMenu platformBoardsMenu = new JMenu(platformLabel);
         MenuScroller.setScrollerFor(platformBoardsMenu);
         platformMenus.add(platformBoardsMenu);

arduino-core/src/processing/app/debug/LegacyTargetPlatform.java

@@ -245,4 +245,9 @@ public String toString() {
       res += "  " + boardId + " = " + boards.get(boardId) + "\n";
     return res + "}";
   }
+
+  @Override
+  public boolean isInSketchbook() {
+	return getFolder().getAbsolutePath().startsWith(BaseNoGui.getDefaultSketchbookFolder().getAbsolutePath());
+  }
 }

arduino-core/src/processing/app/debug/TargetPlatform.java

@@ -94,4 +94,10 @@ public interface TargetPlatform {
    */
   public TargetPackage getContainerPackage();
 
+  /**
+   * Returns true if the platform is installed in a subfolder of the sketchbook
+   *
+   * @return
+   */
+  public boolean isInSketchbook();
 }