📄 tagelement.java
字号:
/* * @(#)TagElement.java 1.12 05/11/17 * * Copyright 2006 Sun Microsystems, Inc. All rights reserved. * SUN PROPRIETARY/CONFIDENTIAL. Use is subject to license terms. */package javax.swing.text.html.parser;import javax.swing.text.html.HTML;/** * A generic HTML TagElement class. The methods define how white * space is interpreted around the tag. * * @version 1.12, 11/17/05 * @author Sunita Mani */public class TagElement { Element elem; HTML.Tag htmlTag; boolean insertedByErrorRecovery; public TagElement ( Element elem ) { this(elem, false); } public TagElement (Element elem, boolean fictional) { this.elem = elem; htmlTag = HTML.getTag(elem.getName()); if (htmlTag == null) { htmlTag = new HTML.UnknownTag(elem.getName()); } insertedByErrorRecovery = fictional; } public boolean breaksFlow() { return htmlTag.breaksFlow(); } public boolean isPreformatted() { return htmlTag.isPreformatted(); } public Element getElement() { return elem; } public HTML.Tag getHTMLTag() { return htmlTag; } public boolean fictional() { return insertedByErrorRecovery; }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -