Method makeFilenameFor

src/main/java/fieldbox/io/IO.java:776–778

(String defaultSubDirectory, Filespec f, Box box)

	private String makeFilenameFor(String defaultSubDirectory, String defaultSuffix, String defaultName, Box box) {

		String name = box.properties.get(Box.name);
		if (name == null) name = "untitled_box";

		String suffix = defaultName + (defaultSuffix == null ? "" : defaultSuffix);
		name = safe(name + suffix);