Previous
Up
Next
Module
JavaApplet.Default_Swing
module
Default_Swing:
Swing
Default implementation for Swing applets.
val
applet_info
:
JavaString.t
The value to be returned by the
getAppletInfo(...)
method.
val
parameter_info
:
JavaApplet.parameter_info
The value to be returned by the
getParameterInfo(...)
method.
val
init
:
JavaApplet.swing
-> unit
The implementation of the
init(...)
method.
val
start
:
JavaApplet.swing
-> unit
The implementation of the
start(...)
method.
val
stop
:
JavaApplet.swing
-> unit
The implementation of the
stop(...)
method.
val
destroy
:
JavaApplet.swing
-> unit
The implementation of the
destroy(...)
method.