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.