KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > javax > swing > text > rtf > Constants


1 /*
2  * @(#)Constants.java 1.9 03/12/19
3  *
4  * Copyright 2004 Sun Microsystems, Inc. All rights reserved.
5  * SUN PROPRIETARY/CONFIDENTIAL. Use is subject to license terms.
6  */

7 package javax.swing.text.rtf;
8
9 /**
10    Class to hold dictionary keys used by the RTF reader/writer.
11    These should be moved into StyleConstants.
12 */

13 class Constants
14 {
15     /** An array of TabStops */
16     static final String JavaDoc Tabs = "tabs";
17
18     /** The name of the character set the original RTF file was in */
19     static final String JavaDoc RTFCharacterSet = "rtfCharacterSet";
20
21     /** Indicates the domain of a Style */
22     static final String JavaDoc StyleType = "style:type";
23
24     /** Value for StyleType indicating a section style */
25     static final String JavaDoc STSection = "section";
26     /** Value for StyleType indicating a paragraph style */
27     static final String JavaDoc STParagraph = "paragraph";
28     /** Value for StyleType indicating a character style */
29     static final String JavaDoc STCharacter = "character";
30
31     /** The style of the text following this style */
32     static final String JavaDoc StyleNext = "style:nextStyle";
33
34     /** Whether the style is additive */
35     static final String JavaDoc StyleAdditive = "style:additive";
36
37     /** Whether the style is hidden from the user */
38     static final String JavaDoc StyleHidden = "style:hidden";
39
40     /* Miscellaneous character attributes */
41     static final String JavaDoc Caps = "caps";
42     static final String JavaDoc Deleted = "deleted";
43     static final String JavaDoc Outline = "outl";
44     static final String JavaDoc SmallCaps = "scaps";
45     static final String JavaDoc Shadow = "shad";
46     static final String JavaDoc Strikethrough = "strike";
47     static final String JavaDoc Hidden = "v";
48
49     /* Miscellaneous document attributes */
50     static final String JavaDoc PaperWidth = "paperw";
51     static final String JavaDoc PaperHeight = "paperh";
52     static final String JavaDoc MarginLeft = "margl";
53     static final String JavaDoc MarginRight = "margr";
54     static final String JavaDoc MarginTop = "margt";
55     static final String JavaDoc MarginBottom = "margb";
56     static final String JavaDoc GutterWidth = "gutter";
57
58     /* This is both a document and a paragraph attribute */
59     static final String JavaDoc WidowControl = "widowctrl";
60 }
61
Popular Tags