jgraph端口大小

Question

我使用jgraph v 5.9.2.0和JDK7。

我想增加输入端口的大小。我创建一个端口使用：

org.jgraph.graph.DefaultPort newPort = new org.jgraph.graph.DefaultPort(); 

有人可以告诉如何增加这个默认端口的大小？我看到有一种方法：org.jgraph.graph.PortView#setPortSize(int size)。但是，我如何获得PortView的参考？

Answer 1

设置静态端口大小可变直接：

PortView.SIZE = 10;