From 175f899dd8fff3c726f3e1c63d645a28b14fe569 Mon Sep 17 00:00:00 2001 From: benfry Date: Tue, 9 May 2006 11:48:00 +0000 Subject: [PATCH] rebuild menus on save as, looking into classpath bug --- app/Sketch.java | 6 +++++- app/Sketchbook.java | 2 ++ 2 files changed, 7 insertions(+), 1 deletion(-) 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); }