This commit was manufactured by cvs2svn to create branch 'moogle'.

[helm.git] / helm / DEVEL / lablgtkmathview / gtkMathView.props

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