diff --git a/app/Sketch.java b/app/Sketch.java index d8d488521..93b30c678 100644 --- a/app/Sketch.java +++ b/app/Sketch.java @@ -492,7 +492,11 @@ public class Sketch { load(); */ - } else { + // get the changes into the sketchbook menu + // (re-enabled in 0115 to fix bug #332) + editor.sketchbook.rebuildMenus(); + + } else { // else if something besides code[0] if (!current.file.renameTo(newFile)) { Base.showWarning("Error", "Could not rename \"" + current.file.getName() + diff --git a/app/Sketchbook.java b/app/Sketchbook.java index 689d4dc60..dfeb3e464 100644 --- a/app/Sketchbook.java +++ b/app/Sketchbook.java @@ -544,6 +544,8 @@ public class Sketchbook { String packages[] = Compiler.packageListFromClassPath(libraryClassPath); for (int k = 0; k < packages.length; k++) { + //System.out.println(packages[k] + " -> " + exported); + //String already = (String) importToLibraryTable.get(packages[k]); importToLibraryTable.put(packages[k], exported); }