📄 script.java
字号:
package scriptedit.data;import java.util.*;/** * <p>Title: Script</p> * <p>Description: 2006年3月27日</p> * <p>Copyright: CoCoMo Copyright (c) 2006</p> * <p>Company: 9you</p> * @author 郭昉 * @version 1.1 */public class Script { private String name; private Vector insList = new Vector(); public Script() { } public void setName(String name) { this.name = name; } public String getName() { return name; } public void add(Instruction ins) { insList.add(ins); } public Instruction getIns(int index) { return (Instruction) insList.elementAt(index); } public Vector getInsList() { return insList; } public void remove(Instruction ins) { insList.remove(ins); }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -