home *** CD-ROM | disk | FTP | other *** search
/ PC Plus SuperCD (UK) 2000 March / pcp161a.iso / handson / files / copyjava.exe / com / sun / java / swing / text / html / HTMLDefs.class (.txt) < prev    next >
Encoding:
Java Class File  |  1998-02-26  |  4.8 KB  |  152 lines
  1. package com.sun.java.swing.text.html;
  2.  
  3. import java.io.File;
  4.  
  5. interface HTMLDefs {
  6.    String EDITOR_VERSION = "1.0 (Dev)";
  7.    String EDITOR_NAME = "HTML Editor";
  8.    String EDITOR_COMMENT = "<!DOCTYPE HTML PUBLIC \"-//W3C//DTD HTML 3.2 Final//EN\">";
  9.    String IMAGES = "images";
  10.    String HTMLEDITOR_BASE = "htmleditor";
  11.    String LOCAL_IMAGES_DIR = "." + File.separator + "images" + File.separator + "htmleditor" + File.separator;
  12.    String HTML_DEFAULT_STYLE = "HTMLDefault";
  13.    String EDITOR_CONTAINER = "HTMLEditor";
  14.    String TEXTPANE = "HTMLPane";
  15.    String JHTMLPANE = "JHTMLPane";
  16.    String DOCUMENT = "HTMLDocument";
  17.    String STYLECONTEXT = "StyleContext";
  18.    // $FF: renamed from: A java.lang.String
  19.    String field_0 = "a";
  20.    String ADDRESS = "address";
  21.    String APPLET = "applet";
  22.    String AREA = "area";
  23.    // $FF: renamed from: B java.lang.String
  24.    String field_1 = "b";
  25.    String BASE = "base";
  26.    String BASEFONT = "basefont";
  27.    String BIG = "big";
  28.    String BLOCKQUOTE = "blockquote";
  29.    String BODY = "body";
  30.    // $FF: renamed from: BR java.lang.String
  31.    String field_2 = "br";
  32.    String CAPTION = "caption";
  33.    String CENTER = "center";
  34.    String CITE = "cite";
  35.    String CODE = "code";
  36.    String COLOR = "color";
  37.    // $FF: renamed from: DD java.lang.String
  38.    String field_3 = "dd";
  39.    String DFN = "dfn";
  40.    String DIR = "dir";
  41.    String DIV = "div";
  42.    // $FF: renamed from: DL java.lang.String
  43.    String field_4 = "dl";
  44.    // $FF: renamed from: DT java.lang.String
  45.    String field_5 = "dt";
  46.    // $FF: renamed from: EM java.lang.String
  47.    String field_6 = "em";
  48.    String FACE = "face";
  49.    String FONT = "font";
  50.    String FORM = "form";
  51.    // $FF: renamed from: H1 java.lang.String
  52.    String field_7 = "h1";
  53.    // $FF: renamed from: H2 java.lang.String
  54.    String field_8 = "h2";
  55.    // $FF: renamed from: H3 java.lang.String
  56.    String field_9 = "h3";
  57.    // $FF: renamed from: H4 java.lang.String
  58.    String field_10 = "h4";
  59.    // $FF: renamed from: H5 java.lang.String
  60.    String field_11 = "h5";
  61.    // $FF: renamed from: H6 java.lang.String
  62.    String field_12 = "h6";
  63.    String HEAD = "head";
  64.    // $FF: renamed from: HR java.lang.String
  65.    String field_13 = "hr";
  66.    String HTML = "html";
  67.    // $FF: renamed from: I java.lang.String
  68.    String field_14 = "i";
  69.    String IMG = "img";
  70.    String INPUT = "input";
  71.    String ISINDEX = "isindex";
  72.    String KBD = "kbd";
  73.    // $FF: renamed from: LI java.lang.String
  74.    String field_15 = "li";
  75.    String LINK = "link";
  76.    String MAP = "map";
  77.    String MENU = "menu";
  78.    String META = "meta";
  79.    // $FF: renamed from: OL java.lang.String
  80.    String field_16 = "ol";
  81.    String OPTION = "option";
  82.    // $FF: renamed from: P java.lang.String
  83.    String field_17 = "p";
  84.    String PARAM = "param";
  85.    String PRE = "pre";
  86.    String PRELINE = "pre-line";
  87.    String PROMPT = "prompt";
  88.    String SAMP = "samp";
  89.    String SCRIPT = "script";
  90.    String SELECT = "select";
  91.    String SMALL = "small";
  92.    String SRC = "src";
  93.    String STRIKE = "strike";
  94.    String STRONG = "strong";
  95.    String STYLE = "style";
  96.    String SUB = "sub";
  97.    String SUP = "sup";
  98.    String TABLE = "table";
  99.    // $FF: renamed from: TD java.lang.String
  100.    String field_18 = "td";
  101.    String TEXT = "text";
  102.    String TEXTAREA = "textarea";
  103.    // $FF: renamed from: TH java.lang.String
  104.    String field_19 = "th";
  105.    String TITLE = "title";
  106.    // $FF: renamed from: TR java.lang.String
  107.    String field_20 = "tr";
  108.    // $FF: renamed from: TT java.lang.String
  109.    String field_21 = "tt";
  110.    // $FF: renamed from: U java.lang.String
  111.    String field_22 = "u";
  112.    // $FF: renamed from: UL java.lang.String
  113.    String field_23 = "ul";
  114.    String VAR = "_var";
  115.    String ALIGN = "align";
  116.    String ALINK = "alink";
  117.    String LEFT = "left";
  118.    String RIGHT = "right";
  119.    String BACKGROUND = "background";
  120.    String BGCOLOR = "bgcolor";
  121.    String BOLD = "bold";
  122.    String ITALIC = "italic";
  123.    String UNDERLINE = "underline";
  124.    String SIZE = "size";
  125.    String PARAGRAPH = "paragraph";
  126.    String HEIGHT = "height";
  127.    String WIDTH = "width";
  128.    String HREF = "href";
  129.    String TYPE = "type";
  130.    String COMPACT = "compact";
  131.    String VALUE = "value";
  132.    String VLINK = "vlink";
  133.    String NOSHADE = "noshade";
  134.    String HSPACE = "hspace";
  135.    String VSPACE = "vspace";
  136.    String ALT = "alt";
  137.    String BORDER = "border";
  138.    String ISMAP = "ismap";
  139.    String USEMAP = "usemap";
  140.    String NAME = "name";
  141.    String REL = "rel";
  142.    String REV = "rev";
  143.    String START = "start";
  144.    String ROWS = "rows";
  145.    String COLS = "cols";
  146.    String NULL_ATTRIBUTE = "#DEFAULT";
  147.    String IMPLIEDP = "impliedp";
  148.    String UnremovableEnd = "__unremoveable__";
  149.    String FONT_FAMILY = "htmleditor.font.family";
  150.    String FONT_PTSIZE = "htmleditor.font.ptsize";
  151. }
  152.