]> matita.cs.unibo.it Git - helm.git/commitdiff
* bind of method get_drawing_area
authorLuca Padovani <luca.padovani@unito.it>
Wed, 12 Feb 2003 13:08:21 +0000 (13:08 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Wed, 12 Feb 2003 13:08:21 +0000 (13:08 +0000)
* currently the test doesn't do anything with it

helm/DEVEL/lablgtkmathview/gMathView.ml
helm/DEVEL/lablgtkmathview/gMathView.mli
helm/DEVEL/lablgtkmathview/gtkMathView.ml
helm/DEVEL/lablgtkmathview/ml_gtk_mathview.c
helm/DEVEL/lablgtkmathview/test/test.ml

index fd505f1dcda9b23358d8732899bf3c15b8012a5e..23197b227a380498634b55b8c316e99f69b4c68d 100644 (file)
@@ -134,6 +134,7 @@ class math_view_skel obj = object
  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
index d8a5dd61694be3dd496361d2863a1d1181e504e2..5b9fdc803fec0608114a7e01353d6c49b3187f60 100644 (file)
@@ -61,6 +61,7 @@ class math_view_skel :
     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
index 4af1ae7826340b471b170701ab16c08f1de8fb4e..394d97e1484ca9870852f0bfecc9cb170a625f78 100644 (file)
@@ -83,6 +83,8 @@ module MathView = struct
    "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 =
index 1f6b19b9f47c31358f3ed8ca107bbb9617614143..f6906b416420e6be3539ea68d29e8d658b61deb6 100644 (file)
@@ -109,6 +109,7 @@ ML_1 (gtk_math_view_get_hadjustment, GtkMathView_val, Val_GtkWidget)
 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)
index 0e8eca5cf2947d497661cba093b1c10e53ad1464..4df59756e0ab25d9dd5595a8906769af24839fb4 100644 (file)
@@ -345,6 +345,14 @@ let get_element_at mathview () =
  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
@@ -380,6 +388,7 @@ let button_get_transparency = GButton.button ~label:"get_transparency" ~packing:
 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)) ;
@@ -413,6 +422,7 @@ ignore(mathview#connect#selection_changed (selection_changed 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 ()