Class marimba.gui.PageWidget
All Packages Class Hierarchy This Package Previous Next Index
Class marimba.gui.PageWidget
java.lang.Object
|
+----marimba.gui.Widget
|
+----marimba.gui.ContainerWidget
|
+----marimba.gui.GroupWidget
|
+----marimba.gui.PageWidget
- public class PageWidget
- extends GroupWidget
This widget is a page in a folder.
It should not be used otherwise.
- Version:
- 1.14, 09/20/96
- Author:
- Arthur van Hoff
-
title
- The title of this page.
-
PageWidget()
-
-
applyProperties(PropertyList)
- Repaint the folder after the properties have
been applied, the tabs may have changed.
-
getProperties(PropertyList)
- Get the properties.
-
getText()
- Get the title.
-
setProperties(PropertyList)
- Set the properties.
-
setText(String)
- Set the title.
-
start()
- Send an event when this page becomes visible.
title
public String title
- The title of this page.
- See Also:
- getText, setText
PageWidget
public PageWidget()
getProperties
public void getProperties(PropertyList list)
- Get the properties.
- Overrides:
- getProperties in class GroupWidget
- See Also:
- setProperties
setProperties
public void setProperties(PropertyList list)
- Set the properties.
- Overrides:
- setProperties in class GroupWidget
- See Also:
- getProperties, applyProperties
applyProperties
public void applyProperties(PropertyList list)
- Repaint the folder after the properties have
been applied, the tabs may have changed.
- Overrides:
- applyProperties in class Widget
- See Also:
- setProperties
getText
public String getText()
- Get the title.
- Overrides:
- getText in class Widget
- See Also:
- title
setText
public void setText(String str)
- Set the title.
- Overrides:
- setText in class Widget
- See Also:
- title
start
public void start()
- Send an event when this page becomes visible.
- Overrides:
- start in class Widget
All Packages Class Hierarchy This Package Previous Next Index