/usr/lib/ocaml/ocamlbricks/widget.mli is in libocamlbricks-ocaml-dev 0.90+bzr367-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 | (* This file is part of our reusable OCaml BRICKS library
Copyright (C) 2007 Jean-Vincent Loddo
Trivial change in 2008 by Luca Saiu
This program is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 2 of the License, or
(at your option) any later version.
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 General Public License for more details.
You should have received a copy of the GNU General Public License
along with this program. If not, see <http://www.gnu.org/licenses/>. *)
(** Some generic tools for building GUIs *)
module Image :
sig
val scaleTo : int * int -> GdkPixbuf.pixbuf -> GdkPixbuf.pixbuf
val zoom : float -> GdkPixbuf.pixbuf -> GdkPixbuf.pixbuf
val inch_of_pixels : ?ppi:float -> int -> float
end
module DynamicSubmenu :
sig
val make :
?set_active:(string -> bool) ->
submenu:GMenu.menu ->
menu:GMenu.image_menu_item ->
dynList:(unit -> string list) ->
action:(string -> unit -> unit) ->
unit -> unit
end
module ComboTextTree :
sig
class comboTextTree :
generator:(string Environment.string_env -> string list) ->
msg:string Environment.string_env ->
key:string ->
callback:(string -> unit) option ->
packing:(GObj.widget -> unit) option ->
object
method add_child : comboTextTree -> unit
method box : GEdit.combo_box
method callback : string -> unit
method changedAndGetActive : (string -> unit) -> unit
method child : int -> comboTextTree
method children : comboTextTree list
method children_rebuild : unit -> unit
method choices : string list
method col : string GTree.column
method env : string Environment.string_env
method generator : string Environment.string_env -> string list
method initialize_callbacks : unit
method key : string
method packing : GObj.widget -> unit
method rebuild : string Environment.string_env -> unit
method selected : string
method set_active_value : string -> unit
method set_box : GEdit.combo_box -> unit
method set_children : comboTextTree list -> unit
method set_choices : string list -> unit
method set_col : string GTree.column -> unit
method set_env : string Environment.string_env -> unit
method slave : comboTextTree
method slave0 : comboTextTree
method slave1 : comboTextTree
method slave2 : comboTextTree
method slave3 : comboTextTree
method slave4 : comboTextTree
method slave5 : comboTextTree
end
type choice = string
type choices = choice list
val make :
generator:(choice Environment.string_env -> choice list) ->
msg:choice Environment.string_env ->
key:string ->
callback:(choice -> unit) option ->
packing:(GObj.widget -> unit) option -> comboTextTree
val fromList :
?key:string ->
?callback:(choice -> unit) option ->
?packing:(GObj.widget -> unit) option -> choices -> comboTextTree
val fromListWithSlave :
?masterCallback:(choice -> unit) option ->
?masterPacking:(GObj.widget -> unit) option ->
choices ->
?slaveCallback:(choice -> unit) option ->
?slavePacking:(GObj.widget -> unit) option ->
(choice -> choices) -> comboTextTree
val fromListWithSlaveWithSlave :
?masterCallback:(choice -> unit) option ->
?masterPacking:(GObj.widget -> unit) option ->
choices ->
?slaveCallback:(choice -> unit) option ->
?slavePacking:(GObj.widget -> unit) option ->
(choice -> choices) ->
?slaveSlaveCallback:(choice -> unit) option ->
?slaveSlavePacking:(GObj.widget -> unit) option ->
(choice -> choice -> choices) -> comboTextTree
val fromListWithSlaveWithSlaveWithSlave :
?masterCallback:(choice -> unit) option ->
?masterPacking:(GObj.widget -> unit) option ->
choices ->
?slaveCallback:(choice -> unit) option ->
?slavePacking:(GObj.widget -> unit) option ->
(choice -> choices) ->
?slaveSlaveCallback:(choice -> unit) option ->
?slaveSlavePacking:(GObj.widget -> unit) option ->
(choice -> choice -> choices) ->
?slaveSlaveSlaveCallback:(choice -> unit) option ->
?slaveSlaveSlavePacking:(GObj.widget -> unit) option ->
(choice -> choice -> choice -> choices) -> comboTextTree
val fromListWithTwoSlaves :
?masterCallback:(choice -> unit) option ->
?masterPacking:(GObj.widget -> unit) option ->
choices ->
?slave0Callback:(choice -> unit) option ->
?slave0Packing:(GObj.widget -> unit) option ->
(choice -> choices) ->
?slave1Callback:(choice -> unit) option ->
?slave1Packing:(GObj.widget -> unit) option ->
(choice -> choices) -> comboTextTree
end
class textview :
?view:GText.view ->
unit ->
object
method append : ?tags:string list -> string -> unit
method append_image : ?scale:(int * int) option -> string -> unit
method private create_tags : unit -> unit
method delete : unit -> unit
method refresh : unit -> unit
method rewrite : ?tags:string list -> string -> unit
method view : GText.view
end
|