|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Object
|
+--PrefEditor
|
+--PrefDef
|
+--PrefSize
| Field Summary | |
private static long |
serialVersionUID
|
java.util.TreeSet |
sizes
|
Carto |
target
|
| Fields inherited from class PrefDef |
curdefs, deflist, defname, defpanel, deftarget, DELETE, EDIT, mine, NEW |
| Fields inherited from class PrefEditor |
dialog, fields, name, owner, pane, scroll, targets |
| Constructor Summary | |
PrefSize()
|
|
PrefSize(Carto target)
|
|
| Method Summary | |
java.lang.Class |
getDefClass()
|
private void |
readObject(java.io.ObjectInputStream stream)
|
| Methods inherited from class PrefDef |
actionPerformed, apply, makeDef, newPane, save, updateList |
| Methods inherited from class PrefEditor |
abandon, addCheck, addCheck, addColor, addColor, addDouble, addDouble, addDouble, addInt, addInt, addlabeled, addlabeled, addRadio, addRadio, addString, addString, addUnit, addUnit, getBarePane, getPane, readDouble, readInt, reset, setParm, setParm, setParm, setParm, setParm, setRadio, setUnit, setUnit, setUnit, setup, skip, skip, toString, update |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Field Detail |
private static final long serialVersionUID
public java.util.TreeSet sizes
public Carto target
| Constructor Detail |
public PrefSize()
public PrefSize(Carto target)
| Method Detail |
public java.lang.Class getDefClass()
getDefClass in class PrefDef
private void readObject(java.io.ObjectInputStream stream)
throws java.io.IOException,
java.lang.ClassNotFoundException
java.io.IOException
java.lang.ClassNotFoundException
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||