KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > edu > rice > cs > drjava > config > FontOption


1 /*BEGIN_COPYRIGHT_BLOCK
2  *
3  * This file is part of DrJava. Download the current version of this project from http://www.drjava.org/
4  * or http://sourceforge.net/projects/drjava/
5  *
6  * DrJava Open Source License
7  *
8  * Copyright (C) 2001-2005 JavaPLT group at Rice University (javaplt@rice.edu). All rights reserved.
9  *
10  * Developed by: Java Programming Languages Team, Rice University, http://www.cs.rice.edu/~javaplt/
11  *
12  * Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated
13  * documentation files (the "Software"), to deal with the Software without restriction, including without limitation
14  * the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and
15  * to permit persons to whom the Software is furnished to do so, subject to the following conditions:
16  *
17  * - Redistributions of source code must retain the above copyright notice, this list of conditions and the
18  * following disclaimers.
19  * - Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the
20  * following disclaimers in the documentation and/or other materials provided with the distribution.
21  * - Neither the names of DrJava, the JavaPLT, Rice University, nor the names of its contributors may be used to
22  * endorse or promote products derived from this Software without specific prior written permission.
23  * - Products derived from this software may not be called "DrJava" nor use the term "DrJava" as part of their
24  * names without prior written permission from the JavaPLT group. For permission, write to javaplt@rice.edu.
25  *
26  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO
27  * THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
28  * CONTRIBUTORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF
29  * CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS
30  * WITH THE SOFTWARE.
31  *
32  *END_COPYRIGHT_BLOCK*/

33
34 package edu.rice.cs.drjava.config;
35
36 import java.awt.Font JavaDoc;
37
38 /**
39  * Class defining all configuration entries of type Font
40  * @version $Id: FontOption.java 3903 2006-07-05 20:03:06Z rcartwright $
41  */

42 public class FontOption extends Option<Font JavaDoc> {
43
44   public FontOption(String JavaDoc key, Font JavaDoc def) { super(key,def); }
45
46   /* Changed on 5/19/2004 to reflect a change in the API specifications of decode in the most recent release of
47    * Java 1.5.0 beta. Decode no longer likes "PLAIN", assuming it to be default and returning the wrong font (dialog)
48    * 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
49    * have been deprecated since 1.3 */

50   public Font JavaDoc parse(String JavaDoc s) {
51     String JavaDoc newS = s;// s.replaceAll("PLAIN-","")
52
int idx = newS.indexOf("PLAIN-");
53     while (idx != -1) {
54       newS = newS.substring(0, idx) + newS.substring(idx + 6);
55       idx = newS.indexOf("PLAIN-");
56     }
57     return Font.decode(newS); //Font.decode(s);
58
}
59
60   /** Create a String representation of the Font object, in the format: fontname-fontstyle-fontsize. */
61   public String JavaDoc format(Font JavaDoc f) {
62     final StringBuilder JavaDoc str = new StringBuilder JavaDoc(f.getName());
63     str.append("-");
64     if (f.isBold()) {
65       str.append("BOLD");
66     }
67     if (f.isItalic()) {
68       str.append("ITALIC");
69     }
70 // if (f.isPlain()) {
71
// str.append("PLAIN");
72
// }
73
if (! f.isPlain()) {
74       str.append("-");
75     }
76     str.append(f.getSize());
77
78     return str.toString();
79   }
80 }
Popular Tags