class Widgets.DownLoadWidget extends Widgets.Widget
name
Constructor and Description |
---|
DownLoadWidget() |
Modifier and Type | Method and Description |
---|---|
(package private) java.lang.String |
getJavaScript(int appletID,
JmolInstance instance)
Each Widget must implement this function and make sure to use
the appletID number to specify the target applet i.e.
|
(package private) java.lang.String |
getJavaScriptFileName()
A COPY OF THIS .JS FILE MUST BE STORED IN THE html PART OF WEBEXPORT
|
(package private) java.lang.String[] |
getSupportFileNames()
The list of files returned by this function should contain the full path to
each file.
|
java.lang.String getJavaScriptFileName()
Widgets.Widget
getJavaScriptFileName
in class Widgets.Widget
java.lang.String[] getSupportFileNames()
Widgets.Widget
getSupportFileNames
in class Widgets.Widget
java.lang.String getJavaScript(int appletID, JmolInstance instance)
Widgets.Widget
getJavaScript
in class Widgets.Widget