-(* Copyright (C) 2000, Luca Padovani <luca.padovani@cs.unibo.it>.
+(* Copyright (C) 2000-2003, Luca Padovani <luca.padovani@cs.unibo.it>,
+ * Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>.
*
* This file is part of lablgtkmathview, the Ocaml binding
* for the GtkMathView widget.
*)
class single_selection_math_view_signals :
- ([> `container | `widget | `base | `math_view] as 'b) Gtk.obj ->
+ ([> `container | `gtk | `mathview | `widget] as 'b) Gtk.obj ->
((Gdome.element option -> unit) -> unit) ->
object
inherit GMathView.math_view_signals
method connect : single_selection_math_view_signals
method get_selection : Gdome.element option
method set_selection : Gdome.element option -> unit
+ method action_toggle : Gdome.element -> bool
end
val single_selection_math_view :
- ?adjustmenth:GData.adjustment ->
- ?adjustmentv:GData.adjustment ->
+ ?hadjustment:GData.adjustment ->
+ ?vadjustment:GData.adjustment ->
?font_size:int ->
- ?font_manager:[ `font_manager_gtk | `font_manager_t1] ->
+ ?log_verbosity:int ->
?border_width:int ->
?width:int ->
?height:int ->
?show:bool ->
unit -> single_selection_math_view
+ (** EXPERIMENTAL STUFF from now on: use with care and at your own risk! *)
+
class multi_selection_math_view :
Gtk_mathview.math_view Gtk.obj ->
object
end
val multi_selection_math_view :
- ?adjustmenth:GData.adjustment ->
- ?adjustmentv:GData.adjustment ->
+ ?hadjustment:GData.adjustment ->
+ ?vadjustment:GData.adjustment ->
?font_size:int ->
- ?font_manager:[ `font_manager_gtk | `font_manager_t1] ->
+ ?log_verbosity:int ->
?border_width:int ->
?width:int ->
?height:int ->