Method selection

src/main/java/fieldbox/boxes/plugins/Typing.java:150–152

()

	private Stream<Box> selection() {
		return breadthFirst(both()).filter(x -> x.properties.isTrue(Mouse.isSelected, false));
	}
	public Optional<Rect> getViewRect() {
		return this.first(Drawing.drawing, both())
			   .map(d -> d.getCurrentViewBounds(this));