]> matita.cs.unibo.it Git - helm.git/commitdiff
Updated to lablgtk 1.2 and ocaml-3.01.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 3 Apr 2001 07:53:51 +0000 (07:53 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 3 Apr 2001 07:53:51 +0000 (07:53 +0000)
helm/DEVEL/lablgtkmathview/configure.in
helm/DEVEL/lablgtkmathview/gtkMathView.ml
helm/DEVEL/lablgtkmathview/test/Makefile
helm/DEVEL/lablgtkmathview/test/test.ml

index 54d95f48df1a69a000ada2cb414452aadbce5167..cccc5ea1aef890911c88c6e88c3cf36d089eeeb7 100644 (file)
@@ -4,7 +4,7 @@ PACKAGE=lablgtkmathview
 
 LABLGTKMATHVIEW_MAJOR_VERSION=0
 LABLGTKMATHVIEW_MINOR_VERSION=2
-LABLGTKMATHVIEW_MICRO_VERSION=2
+LABLGTKMATHVIEW_MICRO_VERSION=4
 LABLGTKMATHVIEW_VERSION=$LABLGTKMATHVIEW_MAJOR_VERSION.$LABLGTKMATHVIEW_MINOR_VERSION.$LABLGTKMATHVIEW_MICRO_VERSION
 VERSION=$LABLGTKMATHVIEW_VERSION
 
index 67a634a16ce9143724f324acca28d57d1f2bd718..f4edcf588bc4ec83d9a02d7554db336847be3cc4 100644 (file)
@@ -82,7 +82,7 @@ module MathView = struct
    "ml_gtk_math_view_get_vadjustment"
   external get_buffer : [>`math_view] obj -> Gdk.pixmap =
    "ml_gtk_math_view_get_buffer"
-  external get_frame : [>`math_view] obj -> [`frame] obj =
+  external get_frame : [>`math_view] obj -> Gtk.frame obj =
    "ml_gtk_math_view_get_frame"
   external set_font_size : [>`math_view] obj -> int -> unit =
    "ml_gtk_math_view_set_font_size"
index d631d239fd752b41cd3293fc3daebe9dfb238af6..514d246400b7f9f203b7556a3956c3a6f349b32c 100644 (file)
@@ -1,6 +1,6 @@
 LABLGTK_DIR = /usr/lib/ocaml/lablgtk
 LABLGTK_MATHVIEW_DIR = ..
-MINIDOM_DIR = ../minidom
+MINIDOM_DIR = /usr/lib/ocaml/mlminidom
 OCAMLC = ocamlc -I $(LABLGTK_DIR) -I $(LABLGTK_MATHVIEW_DIR) \
  -I $(MINIDOM_DIR) -I mlmathview
 OCAMLOPT = ocamlopt -I $(LABLGTK_DIR) -I $(LABLGTK_MATHVIEW_DIR) \
index 1f27180039fe6b232c839be3badee0561800d3c3..3e2edeed1b5ef1a05247d096329636154e64e427 100644 (file)
@@ -256,7 +256,7 @@ let export_to_postscript (mathview : GMathView.math_view) () =
 (* Widget creation *)
 let main_window = GWindow.window ~title:"GtkMathView test" () in
 let vbox = GPack.vbox ~packing:main_window#add () in
-let sw = GFrame.scrolled_window ~width:50 ~height:50 ~packing:vbox#pack () in
+let sw = GBin.scrolled_window ~width:50 ~height:50 ~packing:vbox#pack () in
 let mathview= GMathView.math_view ~packing:sw#add ~width:50 ~height:50 () in
 let table = GPack.table ~rows:6 ~columns:5 ~packing:vbox#pack () in
 let button_gtk=GButton.button ~label:"activate Gtk fonts" ~packing:(table#attach ~left:0 ~top:0) () in