📄 fonttag.java
字号:
/**
*
*/
/**
* @author LightingMan
*
*/
import java.util.*;
import javax.swing.text.html.*;
public final class FontTag {
private static ArrayList<HTML.Attribute> attributes;
public static void addAttribute(HTML.Attribute att){
attributes.add(att);
}
//id, class, title, style, dir, lang
private static void init(){
attributes=new ArrayList<HTML.Attribute>();
attributes.add(HTML.Attribute.ID);
attributes.add(HTML.Attribute.STYLE);
attributes.add(HTML.Attribute.TITLE);
attributes.add(HTML.Attribute.CLASS);
attributes.add(HTML.Attribute.DIR);
attributes.add(HTML.Attribute.LANG);
attributes.add(HTML.Attribute.COLOR);
attributes.add(HTML.Attribute.SIZE);
attributes.add(HTML.Attribute.FACE);
}
public static ArrayList<HTML.Attribute> getAttributes(){
if (attributes==null) init();
return attributes;
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -