Class marimba.gui.ResourceWidget
All Packages Class Hierarchy This Package Previous Next Index
Class marimba.gui.ResourceWidget
java.lang.Object
|
+----marimba.gui.Widget
|
+----marimba.gui.ResourceWidget
- public class ResourceWidget
- extends Widget
A resource widget. This widget refers to one
or more external resources.
- Version:
- 1.4, 11/13/96
- Author:
- Arthur van Hoff
-
preload
- Preload.
-
src
- The source file for this resource.
-
ResourceWidget()
-
-
getProperties(PropertyList)
- Get the properties of this widget.
-
getSource()
- Get the source.
-
paramString(StringBuffer)
- Debugging.
-
setProperties(PropertyList)
- Set the properties of this widget.
-
setSource(String)
- Set the source.
src
public String src
- The source file for this resource.
- See Also:
- getSource, setSource
preload
public boolean preload
- Preload. If true the loading of the resource
should start as soon as the widget is loaded,
if false, it starts when the widget is first
visible.
ResourceWidget
public ResourceWidget()
getProperties
public void getProperties(PropertyList list)
- Get the properties of this widget.
- Overrides:
- getProperties in class Widget
setProperties
public void setProperties(PropertyList list)
- Set the properties of this widget.
- Overrides:
- setProperties in class Widget
getSource
public String getSource()
- Get the source.
- See Also:
- src
setSource
public void setSource(String src)
- Set the source. This method calls setValue(String).
- See Also:
- src, setValue
paramString
public void paramString(StringBuffer buf)
- Debugging.
- Overrides:
- paramString in class Widget
All Packages Class Hierarchy This Package Previous Next Index