| edu.rice.cs.drjava.config.FontOption
FontOption | public class FontOption extends Option (Code) | | Class defining all configuration entries of type Font
version: $Id: FontOption.java 4255 2007-08-28 19:17:37Z mgricken $ |
Method Summary | |
public String | format(Font f) Create a String representation of the Font object, in the format: fontname-fontstyle-fontsize. | public Font | parse(String s) |
format | public String format(Font f)(Code) | | Create a String representation of the Font object, in the format: fontname-fontstyle-fontsize.
|
|
|