首页
学习
活动
专区
圈层
工具
发布
社区首页 >问答首页 >jgraph端口大小

jgraph端口大小
EN

Stack Overflow用户
提问于 2012-02-20 20:02:20
回答 1查看 286关注 0票数 0

我使用的是带有JDK7的jgraph v 5.9.2.0。

我想增加输入端口的大小。我使用以下命令创建一个端口:

代码语言:javascript
复制
org.jgraph.graph.DefaultPort newPort = new org.jgraph.graph.DefaultPort();

有人能告诉我如何增加这个默认端口的大小吗?我看到有一种方法:org.jgraph.graph.PortView#setPortSize(int size)。但是,如何获取PortView的引用?

EN

回答 1

Stack Overflow用户

回答已采纳

发布于 2012-02-21 23:01:30

直接设置静态端口大小变量:

代码语言:javascript
复制
PortView.SIZE = 10;
票数 1
EN
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接:

https://stackoverflow.com/questions/9360795

复制
相关文章

相似问题

领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档