📄 htmlisindexelement.java
字号:
package org.w3c.dom.html;
import org.w3c.dom.*;
/**
* This element is usedfor single-line text input. See the ISINDEX element
* definition in HTML 4.0. This element is deprecated in HTML 4.0.
*/
public interface HTMLIsIndexElement extends HTMLElement {
/**
* Returns the <code>FORM</code> element containing this control.Returns
* null if this control is not within the context of a form.
*/
public HTMLFormElement getForm();
/**
* The prompt message. See the prompt attribute definition in HTML 4.0. This
* attribute is deprecated in HTML 4.0.
*/
public String getPrompt();
public void setPrompt(String prompt);
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -