diff --git a/app/src/processing/app/Base.java b/app/src/processing/app/Base.java index d2ff00efd..baf7ab387 100644 --- a/app/src/processing/app/Base.java +++ b/app/src/processing/app/Base.java @@ -2308,8 +2308,10 @@ public class Base { } String[] headers; - if (new File(libFolder, "library.properties").exists()) { - headers = BaseNoGui.headerListFromIncludePath(UserLibrary.create(libFolder).getSrcFolder()); + File libProp = new File(libFolder, "library.properties"); + File srcFolder = new File(libFolder, "src"); + if (libProp.exists() && srcFolder.isDirectory()) { + headers = BaseNoGui.headerListFromIncludePath(srcFolder); } else { headers = BaseNoGui.headerListFromIncludePath(libFolder); }