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

Variable Index

 o preload
Preload.
 o src
The source file for this resource.

Constructor Index

 o ResourceWidget()

Method Index

 o getProperties(PropertyList)
Get the properties of this widget.
 o getSource()
Get the source.
 o paramString(StringBuffer)
Debugging.
 o setProperties(PropertyList)
Set the properties of this widget.
 o setSource(String)
Set the source.

Variables

 o src
  public String src
The source file for this resource.
See Also:
getSource, setSource
 o 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.

Constructors

 o ResourceWidget
  public ResourceWidget()

Methods

 o getProperties
  public void getProperties(PropertyList list)
Get the properties of this widget.
Overrides:
getProperties in class Widget
 o setProperties
  public void setProperties(PropertyList list)
Set the properties of this widget.
Overrides:
setProperties in class Widget
 o getSource
  public String getSource()
Get the source.
See Also:
src
 o setSource
  public void setSource(String src)
Set the source. This method calls setValue(String).
See Also:
src, setValue
 o paramString
  public void paramString(StringBuffer buf)
Debugging.
Overrides:
paramString in class Widget

All Packages  Class Hierarchy  This Package  Previous  Next  Index