*)
class single_selection_math_view_signals :
- ([> `container | `gtk | `mathview | `widget] as 'b) Gtk.obj ->
+ ([> `gtk | `mathview_gmetadom | `widget] as 'b) Gtk.obj ->
((Gdome.element option -> unit) -> unit) ->
object
inherit GMathView.math_view_signals
?vadjustment:GData.adjustment ->
?font_size:int ->
?log_verbosity:int ->
- ?border_width:int ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) ->
?vadjustment:GData.adjustment ->
?font_size:int ->
?log_verbosity:int ->
- ?border_width:int ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) ->