(* $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"
;;

external model_event_of_boxed_option :
 Gpointer.boxed option -> TElement.t option * int * int * int =
  "ml_gtk_math_view_model_event_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 model_event_of_boxed model_event =
 let id,x,y,state = model_event_of_boxed_option model_event in
  option_element_of_option id,x,y,state
;;

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)
 }

let gtk_math_view_model_event_conv =
 {Gobject.kind = `POINTER ;
  Gobject.proj =
   (function
       `POINTER model_event -> model_event_of_boxed model_event
     | _ -> failwith "gtk_math_view_model_event_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"
  GtkMathViewModelEvent "gtk_math_view_model_event_conv"
}

classes {
  GtkAdjustment  "Gtk.adjustment obj"
}


class MathView_GMetaDOM type "math_view obj" set wrapsig : Widget {
(*
  "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:         GtkMathViewModelEvent
  signal  select_begin:  GtkMathViewModelEvent
  signal  select_over:   GtkMathViewModelEvent
  signal  select_end:    GtkMathViewModelEvent
  signal  select_abort
  signal  element_over:  GtkMathViewModelEvent
}