method get_vadjustment = new GData.adjustment (MathView.get_vadjustment obj)
method get_buffer = MathView.get_buffer obj
method get_frame = new GBin.frame (MathView.get_frame obj)
+ method get_drawing_area = new GMisc.drawing_area (MathView.get_drawing_area obj)
method set_font_size = MathView.set_font_size obj
method get_font_size = MathView.get_font_size obj
method set_anti_aliasing = MathView.set_anti_aliasing obj
method get_font_manager_type : [ `font_manager_gtk | `font_manager_t1]
method get_font_size : int
method get_frame : GBin.frame
+ method get_drawing_area : GMisc.drawing_area
method get_hadjustment : GData.adjustment
method get_height : int
method get_log_verbosity : int
"ml_gtk_math_view_get_buffer"
external get_frame : [>`math_view] obj -> Gtk.frame obj =
"ml_gtk_math_view_get_frame"
+ external get_drawing_area : [>`math_view] obj -> Gtk.drawing_area obj =
+ "ml_gtk_math_view_get_drawing_area"
external set_font_size : [>`math_view] obj -> int -> unit =
"ml_gtk_math_view_set_font_size"
external get_font_size : [>`math_view] obj -> int =
ML_1 (gtk_math_view_get_vadjustment, GtkMathView_val, Val_GtkWidget)
ML_1 (gtk_math_view_get_buffer, GtkMathView_val, Val_GdkPixmap)
ML_1 (gtk_math_view_get_frame, GtkMathView_val, Val_GtkWidget)
+ML_1 (gtk_math_view_get_drawing_area, GtkMathView_val, Val_GtkWidget)
ML_2 (gtk_math_view_set_font_size, GtkMathView_val, Int_val, Unit)
ML_1 (gtk_math_view_get_font_size, GtkMathView_val, Val_int)
ML_2 (gtk_math_view_set_anti_aliasing, GtkMathView_val, Bool_val, Unit)
flush stdout
;;
+let get_drawing_area mathview () =
+ begin
+ let da = mathview#get_drawing_area in
+ print_string ("don't know what to do with the drawing area\n")
+ end ;
+ flush stdout
+;;
+
(* Widget creation *)
let main_window = GWindow.window ~title:"GtkMathView test" () in
let vbox = GPack.vbox ~packing:main_window#add () in
let button_set_transparency = GButton.button ~label:"set_transparency" ~packing:(table#attach ~left:1 ~top:5) () in
let button_load_dom = GButton.button ~label:"load from DOM" ~packing:(table#attach ~left:2 ~top:5) () in
let button_get_element_at = GButton.button ~label:"get_element_at" ~packing:(table#attach ~left:3 ~top:5) () in
+let button_get_drawing_area = GButton.button ~label:"get_drawing_area" ~packing:(table#attach ~left:4 ~top:5) () in
(* Signals connection *)
ignore(button_gtk#connect#clicked (activate_gtk mathview)) ;
ignore(button_load#connect#clicked (load_uri mathview)) ;
ignore(mathview#connect#element_over (element_over mathview)) ;
ignore(button_load_dom#connect#clicked (load_doc mathview)) ;
ignore(button_get_element_at#connect#clicked (get_element_at mathview)) ;
+ignore(button_get_drawing_area#connect#clicked (get_drawing_area mathview)) ;
(* Main Loop *)
main_window#show () ;
GMain.Main.main ()