我看到grow并push接受一个可选的加权参数,但除此之外:增长,填充和推送之间的真正区别是什么?文档不是很清楚.
grow
push
java layout swing miglayout
java ×1
layout ×1
miglayout ×1
swing ×1