/usr/lib/ocaml/lablgtk2/gtkWindow.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 | (**************************************************************************)
(* 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$ *)
open Gaux
open Gobject
open Gtk
open Tags
open GtkBaseProps
open GtkBase
external _gtkwindow_init : unit -> unit = "ml_gtkwindow_init"
let () = _gtkwindow_init ()
module Window = struct
include Window
external set_wmclass : [>`window] obj -> name:string -> clas:string -> unit
= "ml_gtk_window_set_wmclass"
external get_wmclass_name : [>`window] obj -> string
= "ml_gtk_window_get_wmclass_name"
external get_wmclass_class : [>`window] obj -> string
= "ml_gtk_window_get_wmclass_class"
external add_accel_group : [>`window] obj -> accel_group -> unit
= "ml_gtk_window_add_accel_group"
external remove_accel_group : [>`window] obj -> accel_group -> unit
= "ml_gtk_window_remove_accel_group"
external activate_focus : [>`window] obj -> bool
= "ml_gtk_window_activate_focus"
external activate_default : [>`window] obj -> bool
= "ml_gtk_window_activate_default"
external set_geometry_hints :
[>`window] obj -> ?pos: bool -> ?min_size: int * int ->
?max_size: int * int -> ?base_size: int * int ->
?aspect: float * float -> ?resize_inc: int * int ->
?win_gravity: Gdk.Tags.gravity -> ?user_pos: bool ->
?user_size: bool -> [>`widget] obj -> unit
= "ml_gtk_window_set_geometry_hints_bc"
"ml_gtk_window_set_geometry_hints"
external list_toplevels : unit -> window obj list
= "ml_gtk_window_list_toplevels"
external add_mnemonic :
[>`window] obj -> Gdk.keysym -> [>`widget] obj -> unit
= "ml_gtk_window_add_mnemonic"
external remove_mnemonic :
[>`window] obj -> Gdk.keysym -> [>`widget] obj -> unit
= "ml_gtk_window_remove_mnemonic"
external activate_mnemonic :
[>`window] obj -> ?modi: Gdk.Tags.modifier list -> Gdk.keysym -> unit
= "ml_gtk_window_mnemonic_activate"
external get_focus : [>`window] obj -> widget obj
= "ml_gtk_window_get_focus"
(* set_focus/default are called by Widget.grab_focus/default *)
external set_focus : [>`window] obj -> [>`widget] obj -> unit
= "ml_gtk_window_set_focus"
external set_default : [>`window] obj -> [>`widget] obj -> unit
= "ml_gtk_window_set_default"
(* see gtk.props for others *)
let set_wmclass ?name ?clas:wm_class w =
set_wmclass w ~name:(may_default get_wmclass_name w ~opt:name)
~clas:(may_default get_wmclass_class w ~opt:wm_class)
end
module Dialog = struct
include Dialog
external action_area : [>`dialog] obj -> button_box obj
= "ml_GtkDialog_action_area"
external vbox : [>`dialog] obj -> box obj
= "ml_GtkDialog_vbox"
external add_button : [>`dialog] obj -> string -> int -> unit
= "ml_gtk_dialog_add_button"
external response : [>`dialog] obj -> int -> unit
= "ml_gtk_dialog_response"
external set_response_sensitive : [>`dialog] obj -> int -> bool -> unit
= "ml_gtk_dialog_set_response_sensitive"
external set_default_response : [>`dialog] obj -> int -> unit
= "ml_gtk_dialog_set_default_response"
external run : [>`dialog] obj -> int
= "ml_gtk_dialog_run"
let std_response = Gpointer.encode_variant GtkEnums.response
let decode_response = Gpointer.decode_variant GtkEnums.response
end
module MessageDialog = struct
include MessageDialog
external create :
?parent:[>`window] obj -> message_type:Gtk.Tags.message_type ->
buttons:Gtk.Tags.buttons -> message:string -> unit -> message_dialog obj
= "ml_gtk_message_dialog_new"
external set_markup : [>`messagedialog] obj -> string -> unit = "ml_gtk_message_dialog_set_markup"
end
module AboutDialog = struct
include AboutDialog
external create : unit -> Gtk.about_dialog obj = "ml_gtk_about_dialog_new"
external set_email_hook : (string -> unit) -> unit = "ml_gtk_about_dialog_set_email_hook"
external set_url_hook : (string -> unit) -> unit = "ml_gtk_about_dialog_set_url_hook"
end
module FileSelection = struct
include FileSelection
external create : string -> file_selection obj = "ml_gtk_file_selection_new"
external complete : [>`fileselection] obj -> filter:string -> unit
= "ml_gtk_file_selection_complete"
external get_ok_button : [>`fileselection] obj -> button obj
= "ml_gtk_file_selection_get_ok_button"
external get_cancel_button : [>`fileselection] obj -> button obj
= "ml_gtk_file_selection_get_cancel_button"
external get_help_button : [>`fileselection] obj -> button obj
= "ml_gtk_file_selection_get_help_button"
external get_file_list : [>`fileselection] obj -> clist obj
= "ml_gtk_file_selection_get_file_list"
external get_dir_list : [>`fileselection] obj -> clist obj
= "ml_gtk_file_selection_get_dir_list"
external get_selections : [>`fileselection] obj -> string list
= "ml_gtk_file_selection_get_selections"
end
module ColorSelectionDialog = struct
include ColorSelectionDialog
external ok_button : [>`colorselectiondialog] obj -> button obj =
"ml_gtk_color_selection_dialog_ok_button"
external cancel_button : [>`colorselectiondialog] obj -> button obj =
"ml_gtk_color_selection_dialog_cancel_button"
external help_button : [>`colorselectiondialog] obj -> button obj =
"ml_gtk_color_selection_dialog_help_button"
external colorsel : [>`colorselectiondialog] obj -> color_selection obj =
"ml_gtk_color_selection_dialog_colorsel"
end
module FontSelectionDialog = struct
include FontSelectionDialog
external font_selection : [>`fontselectiondialog] obj -> font_selection obj
= "ml_gtk_font_selection_dialog_fontsel"
external ok_button : [>`fontselectiondialog] obj -> button obj
= "ml_gtk_font_selection_dialog_ok_button"
external apply_button : [>`fontselectiondialog] obj -> button obj
= "ml_gtk_font_selection_dialog_apply_button"
external cancel_button : [>`fontselectiondialog] obj -> button obj
= "ml_gtk_font_selection_dialog_cancel_button"
end
module Plug = struct
include Plug
external create : Gdk.native_window -> plug obj = "ml_gtk_plug_new"
end
module Socket = Socket
|