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