Method selection

src/main/java/fieldbox/boxes/plugins/Rename.java:92–94

()

	}

	private Stream<Box> selection() {
		return breadthFirst(both()).filter(x -> x.properties.isTrue(Mouse.isSelected, false));
	}


}