|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectcom.tensegrity.gui.graphdocument.GraphDocumentSettings
The class GraphDocumentSettings is used to convert
values retrieved from the Preferences to the values stored in the
DocumentSettings and vice versa.
| Method Summary | |
static java.lang.Object |
getDocumentSettingValue(java.lang.String prefsValue)
Returns the document setting value corresponding to the given preference value. |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Method Detail |
public static java.lang.Object getDocumentSettingValue(java.lang.String prefsValue)
prefsValue - The preference value
|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||