/usr/lib/ocaml/lablgtk2/ogtkMiscProps.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 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 | open GtkSignal
open Gobject
open Data
let set = set
let get = get
let param = param
open GtkMiscProps
class virtual gtk_status_icon_props = object
val virtual obj : _ obj
method set_screen = set GtkStatusIcon.P.screen obj
method set_visible = set GtkStatusIcon.P.visible obj
method set_blinking = set GtkStatusIcon.P.blinking obj
method screen = get GtkStatusIcon.P.screen obj
method visible = get GtkStatusIcon.P.visible obj
method blinking = get GtkStatusIcon.P.blinking obj
end
class virtual gtk_status_icon_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 screen = self#notify GtkStatusIcon.P.screen
method visible = self#notify GtkStatusIcon.P.visible
method blinking = self#notify GtkStatusIcon.P.blinking
end
class virtual gtk_status_icon_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 GtkStatusIcon.S.activate
method popup_menu = self#connect GtkStatusIcon.S.popup_menu
method size_changed = self#connect GtkStatusIcon.S.size_changed
method notify_screen ~callback =
self#notify GtkStatusIcon.P.screen ~callback
method notify_visible ~callback =
self#notify GtkStatusIcon.P.visible ~callback
method notify_blinking ~callback =
self#notify GtkStatusIcon.P.blinking ~callback
end
class virtual misc_props = object
val virtual obj : _ obj
method set_xalign = set Misc.P.xalign obj
method set_yalign = set Misc.P.yalign obj
method set_xpad = set Misc.P.xpad obj
method set_ypad = set Misc.P.ypad obj
method xalign = get Misc.P.xalign obj
method yalign = get Misc.P.yalign obj
method xpad = get Misc.P.xpad obj
method ypad = get Misc.P.ypad obj
end
class virtual misc_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 Misc.P.xalign
method yalign = self#notify Misc.P.yalign
method xpad = self#notify Misc.P.xpad
method ypad = self#notify Misc.P.ypad
end
class virtual label_props = object
val virtual obj : _ obj
method set_label = set Label.P.label obj
method set_use_markup = set Label.P.use_markup obj
method set_use_underline = set Label.P.use_underline obj
method set_mnemonic_widget =
set {Label.P.mnemonic_widget with conv=GObj.conv_widget_option} obj
method set_justify = set Label.P.justify obj
method set_line_wrap = set Label.P.wrap obj
method set_pattern = set Label.P.pattern obj
method set_selectable = set Label.P.selectable obj
method set_angle = set Label.P.angle obj
method set_ellipsize = set Label.P.ellipsize obj
method set_max_width_chars = set Label.P.max_width_chars obj
method set_single_line_mode = set Label.P.single_line_mode obj
method set_width_chars = set Label.P.width_chars obj
method label = get Label.P.label obj
method use_markup = get Label.P.use_markup obj
method use_underline = get Label.P.use_underline obj
method mnemonic_keyval = get Label.P.mnemonic_keyval obj
method mnemonic_widget =
get {Label.P.mnemonic_widget with conv=GObj.conv_widget_option} obj
method justify = get Label.P.justify obj
method line_wrap = get Label.P.wrap obj
method selectable = get Label.P.selectable obj
method cursor_position = get Label.P.cursor_position obj
method selection_bound = get Label.P.selection_bound obj
method angle = get Label.P.angle obj
method ellipsize = get Label.P.ellipsize obj
method max_width_chars = get Label.P.max_width_chars obj
method single_line_mode = get Label.P.single_line_mode obj
method width_chars = get Label.P.width_chars obj
end
class virtual label_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 Label.P.label
method use_markup = self#notify Label.P.use_markup
method use_underline = self#notify Label.P.use_underline
method mnemonic_keyval = self#notify Label.P.mnemonic_keyval
method mnemonic_widget =
self#notify {Label.P.mnemonic_widget with conv=GObj.conv_widget_option}
method justify = self#notify Label.P.justify
method line_wrap = self#notify Label.P.wrap
method selectable = self#notify Label.P.selectable
method cursor_position = self#notify Label.P.cursor_position
method selection_bound = self#notify Label.P.selection_bound
method angle = self#notify Label.P.angle
method ellipsize = self#notify Label.P.ellipsize
method max_width_chars = self#notify Label.P.max_width_chars
method single_line_mode = self#notify Label.P.single_line_mode
method width_chars = self#notify Label.P.width_chars
end
class virtual tips_query_props = object
val virtual obj : _ obj
method set_caller =
set {TipsQuery.P.caller with conv=GObj.conv_widget_option} obj
method set_emit_always = set TipsQuery.P.emit_always obj
method set_label_inactive = set TipsQuery.P.label_inactive obj
method set_label_no_tip = set TipsQuery.P.label_no_tip obj
method caller =
get {TipsQuery.P.caller with conv=GObj.conv_widget_option} obj
method emit_always = get TipsQuery.P.emit_always obj
method label_inactive = get TipsQuery.P.label_inactive obj
method label_no_tip = get TipsQuery.P.label_no_tip obj
end
class virtual tips_query_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 caller =
self#notify {TipsQuery.P.caller with conv=GObj.conv_widget_option}
method emit_always = self#notify TipsQuery.P.emit_always
method label_inactive = self#notify TipsQuery.P.label_inactive
method label_no_tip = self#notify TipsQuery.P.label_no_tip
end
class virtual tips_query_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 start_query = self#connect TipsQuery.S.start_query
method stop_query = self#connect TipsQuery.S.stop_query
method widget_entered = self#connect
{TipsQuery.S.widget_entered with marshaller = fun f ->
marshal3 GObj.conv_widget_option string string
"GtkTipsQuery::widget_entered"
(fun x1 x2 x3 -> f x1 ~text:x2 ~privat:x3)}
method widget_selected = self#connect
{TipsQuery.S.widget_selected with marshaller = fun f ->
marshal4_ret ~ret:boolean GObj.conv_widget_option string string
(unsafe_pointer : GdkEvent.Button.t data_conv)
"GtkTipsQuery::widget_selected"
(fun x1 x2 x3 -> f x1 ~text:x2 ~privat:x3)}
method notify_caller ~callback =
self#notify {TipsQuery.P.caller with conv=GObj.conv_widget_option} ~callback
method notify_emit_always ~callback =
self#notify TipsQuery.P.emit_always ~callback
method notify_label_inactive ~callback =
self#notify TipsQuery.P.label_inactive ~callback
method notify_label_no_tip ~callback =
self#notify TipsQuery.P.label_no_tip ~callback
end
class virtual arrow_props = object
val virtual obj : _ obj
method set_kind = set Arrow.P.arrow_type obj
method set_shadow = set Arrow.P.shadow_type obj
method kind = get Arrow.P.arrow_type obj
method shadow = get Arrow.P.shadow_type obj
end
class virtual arrow_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 kind = self#notify Arrow.P.arrow_type
method shadow = self#notify Arrow.P.shadow_type
end
class virtual image_props = object
val virtual obj : _ obj
method set_file = set Image.P.file obj
method set_image = set Image.P.image obj
method set_pixbuf = set Image.P.pixbuf obj
method set_pixel_size = set Image.P.pixel_size obj
method set_mask = set Image.P.mask obj
method set_stock = set Image.P.stock obj
method set_icon_set = set Image.P.icon_set obj
method set_icon_size = set Image.P.icon_size obj
method image = get Image.P.image obj
method pixbuf = get Image.P.pixbuf obj
method pixel_size = get Image.P.pixel_size obj
method mask = get Image.P.mask obj
method stock = get Image.P.stock obj
method icon_set = get Image.P.icon_set obj
method icon_size = get Image.P.icon_size obj
method storage_type = get Image.P.storage_type obj
end
class virtual image_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 image = self#notify Image.P.image
method pixbuf = self#notify Image.P.pixbuf
method pixel_size = self#notify Image.P.pixel_size
method mask = self#notify Image.P.mask
method stock = self#notify Image.P.stock
method icon_set = self#notify Image.P.icon_set
method icon_size = self#notify Image.P.icon_size
method storage_type = self#notify Image.P.storage_type
end
class virtual color_selection_props = object
val virtual obj : _ obj
method set_alpha = set ColorSelection.P.current_alpha obj
method set_color = set ColorSelection.P.current_color obj
method set_has_opacity_control =
set ColorSelection.P.has_opacity_control obj
method set_has_palette = set ColorSelection.P.has_palette obj
method alpha = get ColorSelection.P.current_alpha obj
method color = get ColorSelection.P.current_color obj
method has_opacity_control = get ColorSelection.P.has_opacity_control obj
method has_palette = get ColorSelection.P.has_palette obj
end
class virtual color_selection_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 alpha = self#notify ColorSelection.P.current_alpha
method color = self#notify ColorSelection.P.current_color
method has_opacity_control =
self#notify ColorSelection.P.has_opacity_control
method has_palette = self#notify ColorSelection.P.has_palette
end
class virtual font_selection_props = object
val virtual obj : _ obj
method set_font_name = set FontSelection.P.font_name obj
method set_preview_text = set FontSelection.P.preview_text obj
method font_name = get FontSelection.P.font_name obj
method preview_text = get FontSelection.P.preview_text obj
end
class virtual font_selection_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 font_name = self#notify FontSelection.P.font_name
method preview_text = self#notify FontSelection.P.preview_text
end
class virtual calendar_props = object
val virtual obj : _ obj
method set_day = set Calendar.P.day obj
method set_month = set Calendar.P.month obj
method set_year = set Calendar.P.year obj
method day = get Calendar.P.day obj
method month = get Calendar.P.month obj
method year = get Calendar.P.year obj
end
class virtual calendar_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 day = self#notify Calendar.P.day
method month = self#notify Calendar.P.month
method year = self#notify Calendar.P.year
end
class virtual calendar_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 day_selected = self#connect Calendar.S.day_selected
method day_selected_double_click =
self#connect Calendar.S.day_selected_double_click
method month_changed = self#connect Calendar.S.month_changed
method next_month = self#connect Calendar.S.next_month
method next_year = self#connect Calendar.S.next_year
method prev_month = self#connect Calendar.S.prev_month
method prev_year = self#connect Calendar.S.prev_year
method notify_day ~callback = self#notify Calendar.P.day ~callback
method notify_month ~callback = self#notify Calendar.P.month ~callback
method notify_year ~callback = self#notify Calendar.P.year ~callback
end
class virtual curve_props = object
val virtual obj : _ obj
method set_curve_type = set Curve.P.curve_type obj
method set_max_x = set Curve.P.max_x obj
method set_max_y = set Curve.P.max_y obj
method set_min_x = set Curve.P.min_x obj
method set_min_y = set Curve.P.min_y obj
method curve_type = get Curve.P.curve_type obj
method max_x = get Curve.P.max_x obj
method max_y = get Curve.P.max_y obj
method min_x = get Curve.P.min_x obj
method min_y = get Curve.P.min_y obj
end
class virtual curve_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 curve_type = self#notify Curve.P.curve_type
method max_x = self#notify Curve.P.max_x
method max_y = self#notify Curve.P.max_y
method min_x = self#notify Curve.P.min_x
method min_y = self#notify Curve.P.min_y
end
|