* removed spec file

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

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
+}