/usr/lib/ocaml/lablgtk2/ogtkRangeProps.ml is in liblablgtk2-ocaml-dev 2.18.5+dfsg-1build1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
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 112 113 114 115 116 117 118 119 120 121 122 123 124 125 | open GtkSignal
open Gobject
open Data
let set = set
let get = get
let param = param
open GtkRangeProps
class virtual ruler_props = object
val virtual obj : _ obj
method set_lower = set Ruler.P.lower obj
method set_upper = set Ruler.P.upper obj
method set_max_size = set Ruler.P.max_size obj
method set_position = set Ruler.P.position obj
method lower = get Ruler.P.lower obj
method upper = get Ruler.P.upper obj
method max_size = get Ruler.P.max_size obj
method position = get Ruler.P.position obj
end
class virtual ruler_notify obj = object (self)
val obj : 'a obj = obj
method private notify : 'b. ('a, 'b) property ->
callback:('b -> unit) -> _ =
fun prop ~callback -> GtkSignal.connect_property obj
~prop ~callback
method lower = self#notify Ruler.P.lower
method upper = self#notify Ruler.P.upper
method max_size = self#notify Ruler.P.max_size
method position = self#notify Ruler.P.position
end
class virtual range_props = object
val virtual obj : _ obj
method set_adjustment =
set {Range.P.adjustment with conv=GData.conv_adjustment} obj
method set_inverted = set Range.P.inverted obj
method set_update_policy = set Range.P.update_policy obj
method adjustment =
get {Range.P.adjustment with conv=GData.conv_adjustment} obj
method inverted = get Range.P.inverted obj
method update_policy = get Range.P.update_policy obj
end
class virtual range_notify obj = object (self)
val obj : 'a obj = obj
method private notify : 'b. ('a, 'b) property ->
callback:('b -> unit) -> _ =
fun prop ~callback -> GtkSignal.connect_property obj
~prop ~callback
method adjustment =
self#notify {Range.P.adjustment with conv=GData.conv_adjustment}
method inverted = self#notify Range.P.inverted
method update_policy = self#notify Range.P.update_policy
end
class virtual range_sigs = object (self)
method private virtual connect :
'b. ('a,'b) GtkSignal.t -> callback:'b -> GtkSignal.id
method private virtual notify :
'b. ('a,'b) property -> callback:('b -> unit) -> GtkSignal.id
method adjust_bounds = self#connect Range.S.adjust_bounds
method move_slider = self#connect Range.S.move_slider
method change_value = self#connect Range.S.change_value
method value_changed = self#connect Range.S.value_changed
method notify_adjustment ~callback =
self#notify {Range.P.adjustment with conv=GData.conv_adjustment} ~callback
method notify_inverted ~callback = self#notify Range.P.inverted ~callback
method notify_update_policy ~callback =
self#notify Range.P.update_policy ~callback
end
class virtual scale_props = object
val virtual obj : _ obj
method set_digits = set Scale.P.digits obj
method set_draw_value = set Scale.P.draw_value obj
method set_value_pos = set Scale.P.value_pos obj
method digits = get Scale.P.digits obj
method draw_value = get Scale.P.draw_value obj
method value_pos = get Scale.P.value_pos obj
end
class virtual scale_notify obj = object (self)
val obj : 'a obj = obj
method private notify : 'b. ('a, 'b) property ->
callback:('b -> unit) -> _ =
fun prop ~callback -> GtkSignal.connect_property obj
~prop ~callback
method digits = self#notify Scale.P.digits
method draw_value = self#notify Scale.P.draw_value
method value_pos = self#notify Scale.P.value_pos
end
class virtual progress_bar_props = object
val virtual obj : _ obj
method set_adjustment =
set {ProgressBar.P.adjustment with conv=GData.conv_adjustment} obj
method set_orientation = set ProgressBar.P.orientation obj
method set_fraction = set ProgressBar.P.fraction obj
method set_pulse_step = set ProgressBar.P.pulse_step obj
method set_text = set ProgressBar.P.text obj
method set_ellipsize = set ProgressBar.P.ellipsize obj
method adjustment =
get {ProgressBar.P.adjustment with conv=GData.conv_adjustment} obj
method orientation = get ProgressBar.P.orientation obj
method fraction = get ProgressBar.P.fraction obj
method pulse_step = get ProgressBar.P.pulse_step obj
method text = get ProgressBar.P.text obj
method ellipsize = get ProgressBar.P.ellipsize obj
end
class virtual progress_bar_notify obj = object (self)
val obj : 'a obj = obj
method private notify : 'b. ('a, 'b) property ->
callback:('b -> unit) -> _ =
fun prop ~callback -> GtkSignal.connect_property obj
~prop ~callback
method adjustment =
self#notify {ProgressBar.P.adjustment with conv=GData.conv_adjustment}
method orientation = self#notify ProgressBar.P.orientation
method fraction = self#notify ProgressBar.P.fraction
method pulse_step = self#notify ProgressBar.P.pulse_step
method text = self#notify ProgressBar.P.text
method ellipsize = self#notify ProgressBar.P.ellipsize
end
|