/usr/lib/ocaml/lablgtk2/gAction.mli is in liblablgtk2-ocaml-dev 2.14.2+dfsg-3.
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 | (**************************************************************************)
(* Lablgtk *)
(* *)
(* This program is free software; you can redistribute it *)
(* and/or modify it under the terms of the GNU Library General *)
(* Public License as published by the Free Software Foundation *)
(* version 2, with the exception described in file COPYING which *)
(* comes with the library. *)
(* *)
(* This program is distributed in the hope that it will be useful, *)
(* but WITHOUT ANY WARRANTY; without even the implied warranty of *)
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the *)
(* GNU Library General Public License for more details. *)
(* *)
(* You should have received a copy of the GNU Library General *)
(* Public License along with this program; if not, write to the *)
(* Free Software Foundation, Inc., 59 Temple Place, Suite 330, *)
(* Boston, MA 02111-1307 USA *)
(* *)
(* *)
(**************************************************************************)
(* $Id: gAction.mli 1515 2010-06-08 08:50:23Z garrigue $ *)
open Gobject
(** Action-based menus and toolbars *)
(** {3 GtkAction} *)
(** @since GTK 2.4
@gtkdoc gtk GtkAction *)
class action_signals :
([> Gtk.action ] as 'b) obj ->
object ('a)
val obj : 'b obj
val after : bool
method after : < after : 'a; .. > as 'a
method activate : callback:(unit -> unit) -> GtkSignal.id
end
(** @since GTK 2.4
@gtkdoc gtk GtkAction *)
class action_skel :
([> Gtk.action ] as 'a) obj ->
object
val obj : 'a obj
method as_action : Gtk.action obj
(** Properties *)
method hide_if_empty : bool
method set_hide_if_empty : bool -> unit
method is_important : bool
method set_is_important : bool -> unit
method icon_name : string (** @since GTK 2.10 *)
method set_icon_name : string -> unit (** @since GTK 2.10 *)
method label : string
method set_label : string -> unit
method name : string
method sensitive : bool
method set_sensitive : bool -> unit
method short_label : string
method set_short_label : string -> unit
method stock_id : GtkStock.id
method set_stock_id : GtkStock.id -> unit
method tooltip : string
method set_tooltip : string -> unit
method visible : bool
method set_visible : bool -> unit
method visible_horizontal : bool
method set_visible_horizontal : bool -> unit
method visible_vertical : bool
method set_visible_vertical : bool -> unit
(** Other methods *)
method is_sensitive : bool
method is_visible : bool
method activate : unit -> unit
method connect_proxy : GObj.widget -> unit
method disconnect_proxy : GObj.widget -> unit
method get_proxies : GObj.widget list
method connect_accelerator : unit -> unit
method disconnect_accelerator : unit -> unit
method set_accel_path : string -> unit
method set_accel_group : Gtk.accel_group -> unit
method block_activate_from : GObj.widget -> unit
method unblock_activate_from : GObj.widget -> unit
end
(** @since GTK 2.4
@gtkdoc gtk GtkAction *)
class action :
([> Gtk.action ] as 'a) obj ->
object
inherit action_skel
val obj : 'a obj
method connect : action_signals
end
(** @since GTK 2.4
@gtkdoc gtk GtkAction *)
val action : name:string -> unit -> action
(** @since GTK 2.4
@gtkdoc gtk GtkToggleAction *)
class toggle_action_signals :
([> Gtk.toggle_action ] as 'b) obj ->
object
inherit action_signals
val obj : 'b obj
method toggled : callback:(unit -> unit) -> GtkSignal.id
end
(** @since GTK 2.4
@gtkdoc gtk GtkToggleAction *)
class toggle_action_skel :
([> Gtk.toggle_action ] as 'a) obj ->
object
inherit action_skel
val obj : 'a obj
method draw_as_radio : bool
method get_active : bool
method set_active : bool -> unit
method set_draw_as_radio : bool -> unit
method toggled : unit -> unit
end
(** @since GTK 2.4
@gtkdoc gtk GtkToggleAction *)
class toggle_action :
([> Gtk.toggle_action ] as 'a) obj ->
object
inherit toggle_action_skel
val obj : 'a obj
method connect : toggle_action_signals
end
(** @since GTK 2.4
@gtkdoc gtk GtkToggleAction *)
val toggle_action : name:string -> unit -> toggle_action
(** @since GTK 2.4
@gtkdoc gtk GtkRadioAction *)
class radio_action_signals :
([> Gtk.radio_action] as 'b) obj ->
object
inherit toggle_action_signals
val obj : 'b obj
method changed :
callback:(int -> unit) -> GtkSignal.id
end
(** @since GTK 2.4
@gtkdoc gtk GtkRadioAction *)
class radio_action :
([> Gtk.radio_action] as 'a) obj ->
object
inherit toggle_action_skel
val obj : 'a obj
method connect : radio_action_signals
method as_radio_action : Gtk.radio_action obj
method get_current_value : int
method set_group : Gtk.radio_action Gtk.group -> unit
method set_value : int -> unit
method value : int
end
(** @since GTK 2.4
@gtkdoc gtk GtkRadioAction *)
val radio_action : ?group:radio_action -> name:string -> value:int -> unit -> radio_action
(** {3 GtkActionGroup} *)
(** @since GTK 2.4
@gtkdoc gtk GtkActionGroup *)
class action_group_signals :
([> Gtk.action_group ] as 'b) obj ->
object ('a)
val after : bool
val obj : 'b obj
method after : 'a
method connect_proxy : callback:(action -> GObj.widget -> unit) -> GtkSignal.id
method disconnect_proxy : callback:(action -> GObj.widget -> unit) -> GtkSignal.id
method post_activate : callback:(action -> unit) -> GtkSignal.id
method pre_activate : callback:(action -> unit) -> GtkSignal.id
end
(** @since GTK 2.4
@gtkdoc gtk GtkActionGroup *)
class action_group :
([> Gtk.action_group ] as 'a) obj ->
object
val obj : 'a obj
method as_group : Gtk.action_group obj
method connect : action_group_signals
method sensitive : bool
method set_sensitive : bool -> unit
method visible : bool
method set_visible : bool -> unit
method add_action : #action_skel -> unit
method add_action_with_accel : ?accel:string -> #action_skel -> unit
method remove_action : #action_skel -> unit
method get_action : string -> action
method list_actions : action list
method name : string
end
(** @since GTK 2.4
@gtkdoc gtk GtkActionGroup *)
val action_group : name:string -> unit -> action_group
type 'a entry = action_group -> 'a
val add_action :
string ->
?callback:(action -> unit) ->
?stock:GtkStock.id ->
?label:string ->
?accel:string ->
?tooltip:string ->
unit entry
val add_toggle_action :
string ->
?active:bool ->
?callback:(toggle_action -> unit) ->
?stock:GtkStock.id ->
?label:string ->
?accel:string ->
?tooltip:string ->
unit entry
val add_radio_action :
string ->
int ->
?stock:GtkStock.id ->
?label:string ->
?accel:string ->
?tooltip:string ->
radio_action entry
val group_radio_actions :
?init_value:int ->
?callback:(int -> unit) ->
radio_action entry list ->
unit entry
val add_actions : action_group -> unit entry list -> unit
(** {3 GtkUIManager} *)
(** @since GTK 2.4
@gtkdoc gtk GtkUIManager *)
class ui_manager_signals :
([> Gtk.ui_manager] as 'b) Gtk.obj ->
object ('a)
val after : bool
val obj : 'b Gtk.obj
method after : 'a
method actions_changed : callback:(unit -> unit) -> GtkSignal.id
method add_widget : callback:(GObj.widget -> unit) -> GtkSignal.id
method connect_proxy : callback:(action -> GObj.widget -> unit) -> GtkSignal.id
method disconnect_proxy : callback:(action -> GObj.widget -> unit) -> GtkSignal.id
method post_activate : callback:(action -> unit) -> GtkSignal.id
method pre_activate : callback:(action -> unit) -> GtkSignal.id
end
type ui_id
val invalid_id : ui_id
(** @since GTK 2.4
@gtkdoc gtk GtkUIManager *)
class ui_manager :
([> Gtk.ui_manager] as 'a) Gtk.obj ->
object
val obj : 'a Gtk.obj
method as_ui_manager : Gtk.ui_manager Gtk.obj
method add_tearoffs : bool
method add_ui_from_file : string -> ui_id (** @raise Glib.Markup.Error if the XML is invalid
@raise Glib.GError if an error occurs while reading the file *)
method add_ui_from_string : string -> ui_id (** @raise Glib.Markup.Error if the XML is invalid *)
method connect : ui_manager_signals
method ensure_update : unit -> unit
method get_accel_group : Gtk.accel_group
method get_action : string -> action (** @raise Not_found if no widget exist at the given path *)
method get_action_groups : action_group list
method get_widget : string -> GObj.widget (** @raise Not_found if no widget exist at the given path *)
method get_toplevels : GtkEnums.ui_manager_item_type list -> GObj.widget list
method insert_action_group : action_group -> int -> unit
method new_merge_id : unit -> ui_id
method add_ui : ui_id -> path:string -> name:string -> action:string option -> GtkEnums.ui_manager_item_type -> top:bool -> unit
method remove_action_group : action_group -> unit
method remove_ui : ui_id -> unit
method set_add_tearoffs : bool -> unit
method ui : string
end
(** @since GTK 2.4
@gtkdoc gtk GtkUIManager *)
val ui_manager : unit -> ui_manager
|