()
| 104 | |
| 105 | |
| 106 | static protected void save() { |
| 107 | file.setWritable(true, false); |
| 108 | PrintWriter writer = PApplet.createWriter(file); |
| 109 | writer.println(VERSION); |
| 110 | for (Record record : records) { |
| 111 | // System.out.println(record.getPath() + "\t" + record.getState()); |
| 112 | // writer.println(record.path + "\t" + record.getState()); |
| 113 | writer.println(record.path); // + "\t" + record.getState()); |
| 114 | } |
| 115 | writer.flush(); |
| 116 | writer.close(); |
| 117 | updateMenu(mainMenu); |
| 118 | updateMenu(toolbarMenu); |
| 119 | } |
| 120 | |
| 121 | |
| 122 | static public JMenu getMenu() { |
no test coverage detected