blob: de6a7c575d1af491d7939efe45bb2fe430c220b5 (
plain)
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
|
(**************************************************************************)
(* Cameleon *)
(* *)
(* Copyright (C) 2002 Institut National de Recherche en Informatique et *)
(* en Automatique. All rights reserved. *)
(* *)
(* 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 *)
(* 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, write to the Free Software *)
(* Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA *)
(* 02111-1307 USA *)
(* *)
(* Contact: Maxence.Guesdon@inria.fr *)
(**************************************************************************)
type parameter_kind = Configwin_types.parameter_kind
type configuration_structure =
Configwin_types.configuration_structure =
Section of string * parameter_kind list
| Section_list of string * configuration_structure list
type return_button =
Configwin_types.return_button =
Return_apply
| Return_ok
| Return_cancel
module KeyOption = Configwin_types.KeyOption
let string = Configwin_ihm.string
let text = Configwin_ihm.text
let strings = Configwin_ihm.strings
let list = Configwin_ihm.list
let bool = Configwin_ihm.bool
let filename = Configwin_ihm.filename
let filenames = Configwin_ihm.filenames
let color = Configwin_ihm.color
let font = Configwin_ihm.font
let combo = Configwin_ihm.combo
let custom = Configwin_ihm.custom
let date = Configwin_ihm.date
let hotkey = Configwin_ihm.hotkey
let modifiers = Configwin_ihm.modifiers
let html = Configwin_ihm.html
let edit
?(apply=(fun () -> ()))
title ?(width=400) ?(height=400)
conf_struct_list =
Configwin_ihm.edit ~with_apply: true ~apply title ~width ~height conf_struct_list
let get = Configwin_ihm.edit ~with_apply: false ~apply: (fun () -> ())
let simple_edit
?(apply=(fun () -> ()))
title ?width ?height
param_list = Configwin_ihm.simple_edit ~with_apply: true ~apply title ?width ?height param_list
let simple_get = Configwin_ihm.simple_edit
~with_apply: false ~apply: (fun () -> ())
let box = Configwin_ihm.box
let tabbed_box = Configwin_ihm.tabbed_box
|
