61626364656667686970
String filePath = prefs.get("Script" + i, null); if (filePath != null) { File file = new File(filePath); if (file.exists()) { previouslyRun.add(file); add(new OpenScriptAction(this, cliGuiCtx, file)); } } } }
104105106107108109110111112113114
} // refresh menu items using changed list for (File file : previouslyRun) { if (file.exists()) { add(new OpenScriptAction(this, cliGuiCtx, file)); } } writePreviouslyRun(); }