(PluginList pluginList)
| 295 | } |
| 296 | |
| 297 | public Document readDocument(String filename, Map<String, Box> specialBoxes, Set<Box> created) { |
| 298 | File f = filenameFor(filename); |
| 299 | |
| 300 | Log.log("io.general", () -> " reading document :" + f); |
| 301 | |
| 302 | lastWasNew = false; |
| 303 |