* removed spec file

* updated configuration
* added .props file for lablgtk2

diff --git a/helm/DEVEL/lablgtkmathview/Makefile.in b/helm/DEVEL/lablgtkmathview/Makefile.in
index 38846e83f18ae702e28b6c4d3166bbeba2aaa703..e0364a7747b2c4f57c31b157ee232056919b877a 100644 (file)
--- a/helm/DEVEL/lablgtkmathview/Makefile.in
+++ b/helm/DEVEL/lablgtkmathview/Makefile.in
@@ -14,7 +14,7 @@ DIST_FILES = \
   Makefile.in configure.in gMathView.ml gMathView.mli  \
   gMathViewAux.ml gMathViewAux.mli gtkMathView.ml \
   gtk_mathview.ml ml_gtk_mathview.c META.in .depend debian/ test/ \
-  configure lablgtkmathview.spec lablgtkmathview.spec.in
+  configure gtkMathView.props
 DIST_DIR = $(PACKAGE)-$(VERSION)
 DOC_FILES = AUTHORS COPYING ChangeLog NEWS README LICENSE
 REQUIRES = gdome2 lablgtk2

diff --git a/helm/DEVEL/lablgtkmathview/configure.in b/helm/DEVEL/lablgtkmathview/configure.in
index 971deb09afb7df56704e7663ac5153146d39d1e3..b4ab4ff8b8f28ecd482b7c102f63923d16718b74 100644 (file)
--- a/helm/DEVEL/lablgtkmathview/configure.in
+++ b/helm/DEVEL/lablgtkmathview/configure.in
@@ -3,8 +3,8 @@ AC_INIT(gMathView.ml)
 PACKAGE=lablgtkmathview
 
 LABLGTKMATHVIEW_MAJOR_VERSION=0
-LABLGTKMATHVIEW_MINOR_VERSION=4
-LABLGTKMATHVIEW_MICRO_VERSION=3
+LABLGTKMATHVIEW_MINOR_VERSION=5
+LABLGTKMATHVIEW_MICRO_VERSION=1
 LABLGTKMATHVIEW_VERSION=$LABLGTKMATHVIEW_MAJOR_VERSION.$LABLGTKMATHVIEW_MINOR_VERSION.$LABLGTKMATHVIEW_MICRO_VERSION
 VERSION=$LABLGTKMATHVIEW_VERSION
 
@@ -12,7 +12,7 @@ PKG_CHECK_MODULES(GDOME, gdome2 >= 0.7.0,, AC_MSG_ERROR(could not find Gdome2))
 AC_SUBST(GDOME_CFLAGS)
 AC_SUBST(GDOME_LIBS)
 
-PKG_CHECK_MODULES(GTKMATHVIEW, gtkmathview,, AC_MSG_ERROR(could not find gtkmathview))
+PKG_CHECK_MODULES(GTKMATHVIEW, gtkmathview >= 0.5.1,, AC_MSG_ERROR(could not find gtkmathview))
 AC_SUBST(GTKMATHVIEW_CFLAGS)
 AC_SUBST(GTKMATHVIEW_LIBS)
 
@@ -53,6 +53,5 @@ AC_SUBST(OCAML_STUB_DIR)
 AC_OUTPUT([
   test/Makefile
   Makefile
-  lablgtkmathview.spec
   META
 ])

diff --git a/helm/DEVEL/lablgtkmathview/gtkMathView.props b/helm/DEVEL/lablgtkmathview/gtkMathView.props
new file mode 100644 (file)
index 0000000..f6e8378
--- /dev/null
+++ b/helm/DEVEL/lablgtkmathview/gtkMathView.props
@@ -0,0 +1,92 @@
+(* $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
+}

diff --git a/helm/DEVEL/lablgtkmathview/lablgtkmathview.spec.in b/helm/DEVEL/lablgtkmathview/lablgtkmathview.spec.in
deleted file mode 100644 (file)
index 8e7e6fd..0000000
--- a/helm/DEVEL/lablgtkmathview/lablgtkmathview.spec.in
+++ /dev/null
@@ -1,28 +0,0 @@
-Summary: The LablGTK binding for the GtkMathView widget
-Name: @PACKAGE@
-Version: @VERSION@
-Release: 1
-Copyright: GPL
-URL: http://www.cs.unibo.it/helm
-Packager: Luca Padovani <luca.padovani@cs.unibo.it>
-Requires: gtkmathview >= 0.2.2 ocaml >= 3.00 lablgtk
-Group: Applications/Publishing
-Source: www.cs.unibo.it:/~lpadovan/mml-widget/@PACKAGE@-@VERSION@.tar.gz
-%description
-The LablGTK binding for the GtkMathView widget
-
-%prep
-%setup
-
-%build
-./configure
-make configure
-
-%install
-make
-make opt
-make install
-
-%files
-%doc AUTHORS COPYING ChangeLog NEWS README
-/usr/lib/ocaml/lablgtkmathview