/usr/lib/ocaml/lablgtk2/ogtkBinProps.ml is in liblablgtk2-ocaml-dev 2.18.3+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 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 | open GtkSignal
open Gobject
open Data
let set = set
let get = get
let param = param
open GtkPackProps
open GtkBinProps
class virtual alignment_props = object
val virtual obj : _ obj
method set_xalign = set Alignment.P.xalign obj
method set_yalign = set Alignment.P.yalign obj
method set_xscale = set Alignment.P.xscale obj
method set_yscale = set Alignment.P.yscale obj
method set_bottom_padding = set Alignment.P.bottom_padding obj
method set_left_padding = set Alignment.P.left_padding obj
method set_right_padding = set Alignment.P.right_padding obj
method set_top_padding = set Alignment.P.top_padding obj
method xalign = get Alignment.P.xalign obj
method yalign = get Alignment.P.yalign obj
method xscale = get Alignment.P.xscale obj
method yscale = get Alignment.P.yscale obj
method bottom_padding = get Alignment.P.bottom_padding obj
method left_padding = get Alignment.P.left_padding obj
method right_padding = get Alignment.P.right_padding obj
method top_padding = get Alignment.P.top_padding obj
end
class virtual alignment_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 xalign = self#notify Alignment.P.xalign
method yalign = self#notify Alignment.P.yalign
method xscale = self#notify Alignment.P.xscale
method yscale = self#notify Alignment.P.yscale
method bottom_padding = self#notify Alignment.P.bottom_padding
method left_padding = self#notify Alignment.P.left_padding
method right_padding = self#notify Alignment.P.right_padding
method top_padding = self#notify Alignment.P.top_padding
end
class virtual frame_props = object
val virtual obj : _ obj
method set_label = set Frame.P.label obj
method set_label_widget =
set {Frame.P.label_widget with conv=GObj.conv_widget_option} obj
method set_label_xalign = set Frame.P.label_xalign obj
method set_label_yalign = set Frame.P.label_yalign obj
method set_shadow_type = set Frame.P.shadow_type obj
method label = get Frame.P.label obj
method label_widget =
get {Frame.P.label_widget with conv=GObj.conv_widget_option} obj
method label_xalign = get Frame.P.label_xalign obj
method label_yalign = get Frame.P.label_yalign obj
method shadow_type = get Frame.P.shadow_type obj
end
class virtual frame_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 label = self#notify Frame.P.label
method label_widget =
self#notify {Frame.P.label_widget with conv=GObj.conv_widget_option}
method label_xalign = self#notify Frame.P.label_xalign
method label_yalign = self#notify Frame.P.label_yalign
method shadow_type = self#notify Frame.P.shadow_type
end
class virtual aspect_frame_props = object
val virtual obj : _ obj
method set_obey_child = set AspectFrame.P.obey_child obj
method set_ratio = set AspectFrame.P.ratio obj
method set_xalign = set AspectFrame.P.xalign obj
method set_yalign = set AspectFrame.P.yalign obj
method obey_child = get AspectFrame.P.obey_child obj
method ratio = get AspectFrame.P.ratio obj
method xalign = get AspectFrame.P.xalign obj
method yalign = get AspectFrame.P.yalign obj
end
class virtual aspect_frame_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 obey_child = self#notify AspectFrame.P.obey_child
method ratio = self#notify AspectFrame.P.ratio
method xalign = self#notify AspectFrame.P.xalign
method yalign = self#notify AspectFrame.P.yalign
end
class virtual handle_box_props = object
val virtual obj : _ obj
method set_handle_position = set HandleBox.P.handle_position obj
method set_snap_edge = set HandleBox.P.snap_edge obj
method set_shadow_type = set HandleBox.P.shadow_type obj
method handle_position = get HandleBox.P.handle_position obj
method snap_edge = get HandleBox.P.snap_edge obj
method shadow_type = get HandleBox.P.shadow_type obj
end
class virtual handle_box_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 handle_position = self#notify HandleBox.P.handle_position
method snap_edge = self#notify HandleBox.P.snap_edge
method shadow_type = self#notify HandleBox.P.shadow_type
end
class virtual handle_box_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 child_attached = self#connect
{HandleBox.S.child_attached with marshaller = fun f ->
marshal1 GObj.conv_widget "GtkHandleBox::child_attached" f}
method child_detached = self#connect
{HandleBox.S.child_detached with marshaller = fun f ->
marshal1 GObj.conv_widget "GtkHandleBox::child_detached" f}
method notify_handle_position ~callback =
self#notify HandleBox.P.handle_position ~callback
method notify_snap_edge ~callback =
self#notify HandleBox.P.snap_edge ~callback
method notify_shadow_type ~callback =
self#notify HandleBox.P.shadow_type ~callback
end
class virtual scrolled_window_props = object
val virtual obj : _ obj
method set_hadjustment =
set {ScrolledWindow.P.hadjustment with conv=GData.conv_adjustment} obj
method set_vadjustment =
set {ScrolledWindow.P.vadjustment with conv=GData.conv_adjustment} obj
method set_hpolicy = set ScrolledWindow.P.hscrollbar_policy obj
method set_vpolicy = set ScrolledWindow.P.vscrollbar_policy obj
method set_placement = set ScrolledWindow.P.window_placement obj
method set_shadow_type = set ScrolledWindow.P.shadow_type obj
method hadjustment =
get {ScrolledWindow.P.hadjustment with conv=GData.conv_adjustment} obj
method vadjustment =
get {ScrolledWindow.P.vadjustment with conv=GData.conv_adjustment} obj
method hpolicy = get ScrolledWindow.P.hscrollbar_policy obj
method vpolicy = get ScrolledWindow.P.vscrollbar_policy obj
method placement = get ScrolledWindow.P.window_placement obj
method shadow_type = get ScrolledWindow.P.shadow_type obj
end
class virtual scrolled_window_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 hadjustment =
self#notify {ScrolledWindow.P.hadjustment with conv=GData.conv_adjustment}
method vadjustment =
self#notify {ScrolledWindow.P.vadjustment with conv=GData.conv_adjustment}
method hpolicy = self#notify ScrolledWindow.P.hscrollbar_policy
method vpolicy = self#notify ScrolledWindow.P.vscrollbar_policy
method placement = self#notify ScrolledWindow.P.window_placement
method shadow_type = self#notify ScrolledWindow.P.shadow_type
end
class virtual viewport_props = object
val virtual obj : _ obj
method set_hadjustment =
set {Viewport.P.hadjustment with conv=GData.conv_adjustment} obj
method set_vadjustment =
set {Viewport.P.vadjustment with conv=GData.conv_adjustment} obj
method set_shadow_type = set Viewport.P.shadow_type obj
method hadjustment =
get {Viewport.P.hadjustment with conv=GData.conv_adjustment} obj
method vadjustment =
get {Viewport.P.vadjustment with conv=GData.conv_adjustment} obj
method shadow_type = get Viewport.P.shadow_type obj
end
class virtual viewport_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 hadjustment =
self#notify {Viewport.P.hadjustment with conv=GData.conv_adjustment}
method vadjustment =
self#notify {Viewport.P.vadjustment with conv=GData.conv_adjustment}
method shadow_type = self#notify Viewport.P.shadow_type
end
class virtual expander_props = object
val virtual obj : _ obj
method set_expanded = set Expander.P.expanded obj
method set_label = set Expander.P.label obj
method set_label_widget =
set {Expander.P.label_widget with conv=GObj.conv_widget} obj
method set_spacing = set Expander.P.spacing obj
method set_use_underline = set Expander.P.use_underline obj
method expanded = get Expander.P.expanded obj
method label = get Expander.P.label obj
method label_widget =
get {Expander.P.label_widget with conv=GObj.conv_widget} obj
method spacing = get Expander.P.spacing obj
method use_underline = get Expander.P.use_underline obj
end
class virtual expander_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 expanded = self#notify Expander.P.expanded
method label = self#notify Expander.P.label
method label_widget =
self#notify {Expander.P.label_widget with conv=GObj.conv_widget}
method spacing = self#notify Expander.P.spacing
method use_underline = self#notify Expander.P.use_underline
end
class virtual expander_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 activate = self#connect Expander.S.activate
method notify_expanded ~callback =
self#notify Expander.P.expanded ~callback
method notify_label ~callback = self#notify Expander.P.label ~callback
method notify_label_widget ~callback =
self#notify {Expander.P.label_widget with conv=GObj.conv_widget} ~callback
method notify_spacing ~callback = self#notify Expander.P.spacing ~callback
method notify_use_underline ~callback =
self#notify Expander.P.use_underline ~callback
end
|