/usr/lib/ocaml/lablgtk2/ogtkActionProps.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 | open GtkSignal
open Gobject
open Data
let set = set
let get = get
let param = param
open GtkActionProps
class virtual action_props = object
val virtual obj : _ obj
method set_hide_if_empty = set Action.P.hide_if_empty obj
method set_is_important = set Action.P.is_important obj
method set_label = set Action.P.label obj
method set_icon_name = set Action.P.icon_name obj
method set_sensitive = set Action.P.sensitive obj
method set_short_label = set Action.P.short_label obj
method set_stock_id = set Action.P.stock_id obj
method set_tooltip = set Action.P.tooltip obj
method set_visible = set Action.P.visible obj
method set_visible_horizontal = set Action.P.visible_horizontal obj
method set_visible_vertical = set Action.P.visible_vertical obj
method hide_if_empty = get Action.P.hide_if_empty obj
method is_important = get Action.P.is_important obj
method label = get Action.P.label obj
method icon_name = get Action.P.icon_name obj
method name = get Action.P.name obj
method sensitive = get Action.P.sensitive obj
method short_label = get Action.P.short_label obj
method stock_id = get Action.P.stock_id obj
method tooltip = get Action.P.tooltip obj
method visible = get Action.P.visible obj
method visible_horizontal = get Action.P.visible_horizontal obj
method visible_vertical = get Action.P.visible_vertical obj
end
class virtual action_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 hide_if_empty = self#notify Action.P.hide_if_empty
method is_important = self#notify Action.P.is_important
method label = self#notify Action.P.label
method icon_name = self#notify Action.P.icon_name
method name = self#notify Action.P.name
method sensitive = self#notify Action.P.sensitive
method short_label = self#notify Action.P.short_label
method stock_id = self#notify Action.P.stock_id
method tooltip = self#notify Action.P.tooltip
method visible = self#notify Action.P.visible
method visible_horizontal = self#notify Action.P.visible_horizontal
method visible_vertical = self#notify Action.P.visible_vertical
end
class virtual action_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 Action.S.activate
method notify_hide_if_empty ~callback =
self#notify Action.P.hide_if_empty ~callback
method notify_is_important ~callback =
self#notify Action.P.is_important ~callback
method notify_label ~callback = self#notify Action.P.label ~callback
method notify_icon_name ~callback =
self#notify Action.P.icon_name ~callback
method notify_name ~callback = self#notify Action.P.name ~callback
method notify_sensitive ~callback =
self#notify Action.P.sensitive ~callback
method notify_short_label ~callback =
self#notify Action.P.short_label ~callback
method notify_stock_id ~callback = self#notify Action.P.stock_id ~callback
method notify_tooltip ~callback = self#notify Action.P.tooltip ~callback
method notify_visible ~callback = self#notify Action.P.visible ~callback
method notify_visible_horizontal ~callback =
self#notify Action.P.visible_horizontal ~callback
method notify_visible_vertical ~callback =
self#notify Action.P.visible_vertical ~callback
end
class virtual toggle_action_props = object
val virtual obj : _ obj
method set_draw_as_radio = set ToggleAction.P.draw_as_radio obj
method draw_as_radio = get ToggleAction.P.draw_as_radio obj
end
class virtual toggle_action_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 draw_as_radio = self#notify ToggleAction.P.draw_as_radio
end
class virtual toggle_action_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 toggled = self#connect ToggleAction.S.toggled
method notify_draw_as_radio ~callback =
self#notify ToggleAction.P.draw_as_radio ~callback
end
class virtual radio_action_props = object
val virtual obj : _ obj
method set_group = set RadioAction.P.group obj
method set_value = set RadioAction.P.value obj
method value = get RadioAction.P.value obj
end
class virtual radio_action_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 value = self#notify RadioAction.P.value
end
class virtual ui_manager_props = object
val virtual obj : _ obj
method set_add_tearoffs = set UIManager.P.add_tearoffs obj
method add_tearoffs = get UIManager.P.add_tearoffs obj
method ui = get UIManager.P.ui obj
end
class virtual ui_manager_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 add_tearoffs = self#notify UIManager.P.add_tearoffs
method ui = self#notify UIManager.P.ui
end
class virtual ui_manager_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 actions_changed = self#connect UIManager.S.actions_changed
method add_widget = self#connect
{UIManager.S.add_widget with marshaller = fun f ->
marshal1 GObj.conv_widget "GtkUIManager::add_widget" f}
method notify_add_tearoffs ~callback =
self#notify UIManager.P.add_tearoffs ~callback
method notify_ui ~callback = self#notify UIManager.P.ui ~callback
end
class virtual action_group_props = object
val virtual obj : _ obj
method set_sensitive = set ActionGroup.P.sensitive obj
method set_visible = set ActionGroup.P.visible obj
method name = get ActionGroup.P.name obj
method sensitive = get ActionGroup.P.sensitive obj
method visible = get ActionGroup.P.visible obj
end
class virtual action_group_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 name = self#notify ActionGroup.P.name
method sensitive = self#notify ActionGroup.P.sensitive
method visible = self#notify ActionGroup.P.visible
end
|