размер порта jgraph - PullRequest
       1

размер порта jgraph

0 голосов
/ 20 февраля 2012

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

1 Ответ

1 голос
/ 21 февраля 2012

Установить переменную статического размера порта напрямую:

PortView.SIZE = 10;
Добро пожаловать на сайт PullRequest, где вы можете задавать вопросы и получать ответы от других членов сообщества.
...