ds.ov2.gui
Class Ov_demo_gui.Applet_type_item
java.lang.Object
ds.ov2.gui.Ov_demo_gui.Applet_type_item
- Enclosing class:
- Ov_demo_gui
public static class Ov_demo_gui.Applet_type_item
- extends Object
Wrapper of Applet_type for the applet-choice combo box.
type
public final Applet_type type
- The applet type this item represents
Ov_demo_gui.Applet_type_item
public Ov_demo_gui.Applet_type_item(Applet_type type)
- Construct a new item.
- Parameters:
type
- the type of the new item
toString
public String toString()
- Overrides:
toString
in class Object
- Returns:
- string to be displayed in the combo box for this
applet type