📄 toolelement.java
字号:
/* * ToolElement.java * * Created on 26 marzo 2001, 0.02 */package org.joone.edit;import java.util.*;/** * * @author pmarrone */public class ToolElement { protected Hashtable params; protected String type; /** Creates new ToolElement */ public ToolElement() { params = new Hashtable(); } public ToolElement(String newType) { this(); type = newType; } public Hashtable getParams() { return params; } public void setParam(Object key, Object value) { if (!params.containsKey(key)) params.put(key, value); } public Object getParam(Object key) { return params.get(key); } public String getType() { return type; } public void setType(String newType) { type = newType; } }
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -