|
|||||||||
| Home >> All >> org >> gjt >> sp >> [ jedit overview ] | PREV CLASS NEXT CLASS | ||||||||
SUMMARY: JAVADOC | SOURCE | DOWNLOAD | NESTED | FIELD | CONSTR | METHOD |
DETAIL: FIELD | CONSTR | METHOD | ||||||||
org.gjt.sp.jedit
Class Buffer.PropValue

java.lang.Objectorg.gjt.sp.jedit.Buffer.PropValue
- Enclosing class:
- Buffer
- static class Buffer.PropValue
- extends java.lang.Object
| Field Summary | |
(package private) boolean |
defaultValue
If this is true, then this value is cached from the mode or global defaults, so when the defaults change this property value must be reset. |
(package private) java.lang.Object |
value
|
| Constructor Summary | |
(package private) |
Buffer.PropValue(java.lang.Object value,
boolean defaultValue)
|
| Method Summary | |
java.lang.String |
toString()
For debugging purposes. |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Field Detail |
value
java.lang.Object value
defaultValue
boolean defaultValue
- If this is true, then this value is cached from the mode
or global defaults, so when the defaults change this property
value must be reset.
| Constructor Detail |
Buffer.PropValue
Buffer.PropValue(java.lang.Object value, boolean defaultValue)
| Method Detail |
toString
public java.lang.String toString()
- For debugging purposes.
|
|||||||||
| Home >> All >> org >> gjt >> sp >> [ jedit overview ] | PREV CLASS NEXT CLASS | ||||||||
SUMMARY: JAVADOC | SOURCE | DOWNLOAD | NESTED | FIELD | CONSTR | METHOD |
DETAIL: FIELD | CONSTR | METHOD | ||||||||
JAVADOC
org.gjt.sp.jedit.Buffer.PropValue