}).strokeStyle("rgba(255,255,255,.5)").lineWidth(1).antialias(false);
layout.label().add(PV.Label).textAngle(-Math.PI / 2)
.visible(new JsBooleanFunction() {
public boolean f(JsArgs args) {
PVPartitionNode d = args.getObject();
return d.dx() > 6;
}
});
}