/usr/lib/ocaml/lablgtk2/gMain.mli is in liblablgtk2-ocaml-dev 2.16.0+dfsg-1.
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 | (**************************************************************************)
(* 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$ *)
(** Library initialization, main event loop, and events *)
open Gtk
(** @gtkdoc gtk gtk-General *)
module Main : sig
val init : ?setlocale:bool -> unit -> string
(** [init] also sets the locale and returns its name.
Either set [~setlocale] to [false] or GTK_SETLOCALE to "0"
if you don't want to the locale to be set *)
val main : unit -> unit
(** [main] runs the main loop, until [quit] is called.
{e Do not use in multi-threaded programs.} *)
val quit : unit -> unit
(** quit the main loop *)
val version : int * int * int
(** [major, minor, micro] *)
end
(** Direct access to functions of [GMain.Main] *)
val init : ?setlocale:bool -> unit -> string
val main : unit -> unit
val quit : unit -> unit
(** Global structures *)
val selection : GData.clipboard
val clipboard : GData.clipboard
module Grab : sig
val add : #GObj.widget -> unit
val remove : #GObj.widget -> unit
val get_current : unit -> GObj.widget
end
module Event : sig
val get_current_time : unit -> int32 (** May return GDK_CURRENT_TIME *)
val get_current : unit -> GdkEvent.any (** May raise Gpointer.Null *)
val get_widget : 'a Gdk.event -> widget obj (** May raise Gpointer.Null *)
val propagate : [> `widget] obj -> 'a Gdk.event -> unit
end
module Rc : sig
val add_default_file : string -> unit
end
module Timeout : sig
type id = Glib.Timeout.id
val add : ms:int -> callback:(unit -> bool) -> id
val remove : id -> unit
end
module Idle : sig
type id = Glib.Idle.id
val add : ?prio:int -> (unit -> bool) -> id
val remove : id -> unit
end
module Io : sig
type channel = Glib.Io.channel
type condition = [ `IN | `OUT | `PRI | `ERR | `HUP | `NVAL ]
type id
val channel_of_descr : Unix.file_descr -> channel
val add_watch :
cond:condition list -> callback:(condition list -> bool) -> ?prio:int -> channel -> id
val remove : id -> unit
val read : channel -> buf:string -> pos:int -> len:int -> int
val read_chars : channel -> buf:string -> pos:int -> len:int -> int
end
|