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