nodedialog.description
来自「petrinets小程序」· DESCRIPTION 代码 · 共 12 行
DESCRIPTION
12 行
import java.awt.*;
public class NodeDialog extends Dialog {
public NodeDialog(Frame parent, node n)
public boolean handleEvent(Event e)
public void setNode(node n)
}
⌨️ 快捷键说明
复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?