Я использую 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?