- inherit GContainer.container
- method action_get_selected : int
- method action_set_selected : int -> unit
- method action_toggle : unit
- method connect : math_view_signals
- method export_to_postscript :
- ?width:int ->
- ?height:int ->
- ?x_margin:int ->
- ?y_margin:int ->
- ?disable_colors:bool -> filename:string -> unit -> unit
- method get_action : Gdome.element option
- method get_anti_aliasing : bool
+ inherit GObj.widget
+ val obj : 'a
+ method attribute_changed : Gdome.element -> name:Gdome.domString -> unit
+ method event : GObj.event_ops
+ method freeze : unit
+ method get_adjustments : GData.adjustment * GData.adjustment
+ method get_bounding_box : int * int * int