java.lang.Object
jpicedt.format.pstricks.PstricksContentType
- All Implemented Interfaces:
- jpicedt.graphic.ContentType
- public class PstricksContentType
- extends java.lang.Object
- implements jpicedt.graphic.ContentType
ContentType for the Pstricks format.
- Version:
- $Id: PstricksContentType.java,v 1.2 2002/08/05 16:44:10 reynal Exp $
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
name
protected java.lang.String name
mime
protected java.lang.String mime
PstricksContentType
public PstricksContentType()
getPresentationName
public java.lang.String getPresentationName()
- Specified by:
getPresentationName in interface jpicedt.graphic.ContentType
getMime
public java.lang.String getMime()
- Specified by:
getMime in interface jpicedt.graphic.ContentType
createEditorKit
public jpicedt.graphic.toolkit.EditorKit createEditorKit()
- creates an EditorKit that's suited for this content-type
default implementation returns null.
- Specified by:
createEditorKit in interface jpicedt.graphic.ContentType
createFormatter
public jpicedt.graphic.io.formatter.FormatterFactory createFormatter()
- creates a FormatterFactory that's suited for this content-type
default implementation returns null.
- Specified by:
createFormatter in interface jpicedt.graphic.ContentType
configure
public void configure(java.util.Properties p)
- Configure the EditorKit and the FormatterFactory returned by the factory methods,
from the given Properties
- Specified by:
configure in interface jpicedt.graphic.ContentType