01: /*BEGIN_COPYRIGHT_BLOCK
02: *
03: * Copyright (c) 2001-2007, JavaPLT group at Rice University (javaplt@rice.edu)
04: * All rights reserved.
05: *
06: * Redistribution and use in source and binary forms, with or without
07: * modification, are permitted provided that the following conditions are met:
08: * * Redistributions of source code must retain the above copyright
09: * notice, this list of conditions and the following disclaimer.
10: * * Redistributions in binary form must reproduce the above copyright
11: * notice, this list of conditions and the following disclaimer in the
12: * documentation and/or other materials provided with the distribution.
13: * * Neither the names of DrJava, the JavaPLT group, Rice University, nor the
14: * names of its contributors may be used to endorse or promote products
15: * derived from this software without specific prior written permission.
16: *
17: * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
18: * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
19: * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
20: * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR
21: * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
22: * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
23: * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
24: * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
25: * LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
26: * NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
27: * SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
28: *
29: * This software is Open Source Initiative approved Open Source Software.
30: * Open Source Initative Approved is a trademark of the Open Source Initiative.
31: *
32: * This file is part of DrJava. Download the current version of this project
33: * from http://www.drjava.org/ or http://sourceforge.net/projects/drjava/
34: *
35: * END_COPYRIGHT_BLOCK*/
36:
37: package edu.rice.cs.drjava.config;
38:
39: import java.awt.Font;
40:
41: /**
42: * Class defining all configuration entries of type Font
43: * @version $Id: FontOption.java 4255 2007-08-28 19:17:37Z mgricken $
44: */
45: public class FontOption extends Option<Font> {
46:
47: public FontOption(String key, Font def) {
48: super (key, def);
49: }
50:
51: /* Changed on 5/19/2004 to reflect a change in the API specifications of decode in the most recent release of
52: * Java 1.5.0 beta. Decode no longer likes "PLAIN", assuming it to be default and returning the wrong font (dialog)
53: * if the word is present This may be fixed in future versions of 1.5.0, but the use of the word PLAIN appears to
54: * have been deprecated since 1.3 */
55: public Font parse(String s) {
56: String newS = s;// s.replaceAll("PLAIN-","")
57: int idx = newS.indexOf("PLAIN-");
58: while (idx != -1) {
59: newS = newS.substring(0, idx) + newS.substring(idx + 6);
60: idx = newS.indexOf("PLAIN-");
61: }
62: return Font.decode(newS); //Font.decode(s);
63: }
64:
65: /** Create a String representation of the Font object, in the format: fontname-fontstyle-fontsize. */
66: public String format(Font f) {
67: final StringBuilder str = new StringBuilder(f.getName());
68: str.append("-");
69: if (f.isBold()) {
70: str.append("BOLD");
71: }
72: if (f.isItalic()) {
73: str.append("ITALIC");
74: }
75: // if (f.isPlain()) {
76: // str.append("PLAIN");
77: // }
78: if (!f.isPlain()) {
79: str.append("-");
80: }
81: str.append(f.getSize());
82:
83: return str.toString();
84: }
85: }
|