📄 fontspec.java
字号:
package ergo.ui;
// $Id: FontSpec.java,v 1.2 1999/08/13 01:20:07 sigue Exp $
/*
* Copyright (C) 1999 Carl L. Gay and Antranig M. Basman.
* See the file copyright.txt, distributed with this software,
* for further information.
*/
import java.awt.Font;
// class FontSpec holds a font representation (currently 3 strings),
// and the actual font; this is necessary so that rewriting ini file
// preserves relations to defaultFont.
public class FontSpec {
private String name;
private String sstyle;
private String ssize;
private Font font;
FontSpec (String name1, String sstyle1, String ssize1) {
name = name1; sstyle = sstyle1; ssize = ssize1;
font = FontManager.resolve(this);
//Debug.println("FontSpec.<init>(): font = " + font);
}
String getName () { return name; }
String getStyle () { return sstyle; }
String getSize () { return ssize; }
Font getFont () { return font; }
public String toString () { return name + " " + sstyle + " " + ssize; }
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -