📄 htmlscriptelement.java
字号:
package org.w3c.dom.html;
import org.w3c.dom.*;
/**
* Script statements. See the SCRIPT element definition in HTML 4.0.
*/
public interface HTMLScriptElement extends HTMLElement {
/**
* The script content of the element.
*/
public String getText();
public void setText(String text);
/**
* Reserved for future use.
*/
public String getHtmlFor();
public void setHtmlFor(String htmlFor);
/**
* Reserved for future use.
*/
public String getEvent();
public void setEvent(String event);
/**
* The character encoding of the linked resource. See the charset attribute
* definition in HTML 4.0.
*/
public String getCharset();
public void setCharset(String charset);
/**
* Indicates that the user agent can defer processing of the script. See
* the defer attribute definition in HTML 4.0.
*/
public boolean getDefer();
public void setDefer(boolean defer);
/**
* URI designating an external script. See the src attribute definition in
* HTML 4.0.
*/
public String getSrc();
public void setSrc(String src);
/**
* The content type of the script language. See the type attribute definition
* in HTML 4.0.
*/
public String getType();
public void setType(String type);
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -