com.borland.primetime.editor
Class EditorOption

java.lang.Object
  |
  +--com.borland.primetime.properties.Property
        |
        +--com.borland.primetime.properties.GlobalProperty
              |
              +--com.borland.primetime.editor.EditorOption
Direct Known Subclasses:
BooleanEditorOption

public abstract class EditorOption
extends GlobalProperty

An EditorOption object defines an option related to the editor.


Field Summary
protected  EditorOptionCategory category
           
protected  java.lang.String text
           
 
Fields inherited from class com.borland.primetime.properties.GlobalProperty
defaultValue
 
Fields inherited from class com.borland.primetime.properties.Property
category, name
 
Constructor Summary
EditorOption(java.lang.String key, EditorOptionCategory category, java.lang.String text)
          Creates a new EditorOption object.
EditorOption(java.lang.String key, EditorOptionCategory category, java.lang.String text, java.lang.String defaultValue)
          Creates a new EditorOption object.
 
Method Summary
 EditorOptionCategory getCategory()
          Get the category for this property.
 java.lang.String getKey()
           
 java.lang.String getText()
          Get the text that describes this property.
 
Methods inherited from class com.borland.primetime.properties.GlobalProperty
addPropertyListener, firePropertyChange, getValue, getVersion, readProperties, readProperties, removePropertyListener, setValue, writeProperties, writeProperties
 
Methods inherited from class com.borland.primetime.properties.Property
compareTo, equals, getPropertyCategory, getPropertyName, hashCode, toString
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

category

protected EditorOptionCategory category

text

protected java.lang.String text
Constructor Detail

EditorOption

public EditorOption(java.lang.String key,
                    EditorOptionCategory category,
                    java.lang.String text)
Creates a new EditorOption object.
Parameters:
key - The key to use for this object.
category - The EditorOptionCategory to use for this object.
text - The text to display for the option itself.

EditorOption

public EditorOption(java.lang.String key,
                    EditorOptionCategory category,
                    java.lang.String text,
                    java.lang.String defaultValue)
Creates a new EditorOption object.
Parameters:
key - The key to use for this object.
category - The EditorOptionCategory to use for this object.
text - The text to display for the option itself.
defaultValue - The defaultValue of the option.
Method Detail

getKey

public java.lang.String getKey()

getCategory

public EditorOptionCategory getCategory()
Get the category for this property.

getText

public java.lang.String getText()
Get the text that describes this property.