📄 resourcewrapper.java
字号:
import org.cip4.jdflib.core.JDFElement;
import org.w3c.dom.Element;
class ResourceWrapper extends Wrapper
{
public ResourceWrapper(Element element)
{
super(element);
}
public boolean wrapperIsValid()
{
boolean isValid = true;
if (Editor.getEditor().getFrame().isValidateOn())
{
final JDFElement jdfElement = (JDFElement) m_Element;
if (jdfElement != null)
isValid = Editor.getEditor().getFrame().elemIsValid(jdfElement);
}
return isValid;
}
public String toString()
{
return m_Element.getTagName() + getID();
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -