File: gtkMathView.props

package info (click to toggle)
lablgtkmathview 0.7.8-7
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, buster, sid
  • size: 332 kB
  • sloc: ml: 777; ansic: 177; makefile: 139; xml: 132
file content (111 lines) | stat: -rw-r--r-- 3,034 bytes parent folder | download | duplicates (5)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
(* $Id: gtkMathView.props 3418 2004-07-30 08:56:16Z lpadovan $ *)

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"
;;

external model_event_of_boxed_option :
 Gpointer.boxed option -> TElement.t option * int * int * int =
  "ml_gtk_math_view_model_event_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 model_event_of_boxed model_event =
 let id,x,y,state = model_event_of_boxed_option model_event in
  option_element_of_option id,x,y,state
;;

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

let gtk_math_view_model_event_conv =
 {Gobject.kind = `POINTER ;
  Gobject.proj =
   (function
       `POINTER model_event -> model_event_of_boxed model_event
     | _ -> failwith "gtk_math_view_model_event_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"
  GtkMathViewModelEvent "gtk_math_view_model_event_conv"
}

classes {
  GtkAdjustment  "Gtk.adjustment obj"
}


class MathView_GMetaDOM type "math_view obj" set wrapsig : Widget {
(*
  "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:         GtkMathViewModelEvent
  signal  select_begin:  GtkMathViewModelEvent
  signal  select_over:   GtkMathViewModelEvent
  signal  select_end:    GtkMathViewModelEvent
  signal  select_abort
  signal  element_over:  GtkMathViewModelEvent
}