+(* $Id$ *)
+
+prefix "Gtk"
+
+header {
+open Gtk
+open Gtk_mathview
+
+external gdome_element_of_boxed_option :
+ Gpointer.boxed option -> TElement.t =
+ "ml_gtk_math_view_gdome_element_of_boxed_option"
+;;
+
+external gdome_element_option_of_boxed_option :
+ Gpointer.boxed option -> TElement.t option =
+ "ml_gtk_math_view_gdome_element_option_of_boxed_option"
+;;
+
+let option_element_of_option =
+ function
+ None -> None
+ | Some v -> Some (new Gdome.element v)
+;;
+
+let option_element_of_boxed_option x =
+ option_element_of_option (gdome_element_option_of_boxed_option x)
+;;
+
+let gdome_element_option_conv =
+ {Gobject.kind = `POINTER ;
+ Gobject.proj =
+ (function
+ `POINTER element -> option_element_of_boxed_option element
+ | _ -> failwith "gdome_element_option_conv") ;
+ Gobject.inj =
+ (function element -> assert false)
+ }
+}
+
+oheader {
+
+let set_params self ~font_size ~log_verbosity =
+ begin
+ match font_size with
+ Some s -> self#set_font_size s
+ | None -> ()
+ end ;
+ begin
+ match log_verbosity with
+ Some v -> self#set_log_verbosity v
+ | None -> ()
+ end ;
+ self
+;;
+
+let pack_return create p ?packing ?show () =
+ GObj.pack_return (create p) ~packing ~show
+;;
+
+}
+
+conversions {
+ GdomeElement_option "gdome_element_option_conv"
+}
+
+classes {
+ GtkAdjustment "Gtk.adjustment obj"
+ GtkDrawingArea "Gtk.drawing_area obj"
+}
+
+
+class MathView set wrapsig : EventBox {
+(*
+ "width" gint : Read
+ "height" gint : Read
+ "top-x" gint : Read / Write / NoSet
+ "top-y" gint : Read / Write / NoSet
+ "hadjustment" GtkAdjustment : Read / Write / Construct
+ "vadjustment" GtkAdjustment : Read / Write / Construct
+ "buffer" GdkPixmap : Read
+ "drawing-area" GtkDrawingArea : Read
+ "font-size" guint : Read / Write / Construct
+ "log-verbosity" gint : Read / Write / Construct
+ "root-element" GdomeElement_option : Read
+*)
+ signal click: GdomeElement_option gint
+ signal select_begin: GdomeElement_option gint
+ signal select_over: GdomeElement_option gint
+ signal select_end: GdomeElement_option gint
+ signal select_abort
+ signal element_over: GdomeElement_option gint
+}