diff options
Diffstat (limited to 'ide/utils/configwin.ml')
| -rw-r--r-- | ide/utils/configwin.ml | 67 |
1 files changed, 37 insertions, 30 deletions
diff --git a/ide/utils/configwin.ml b/ide/utils/configwin.ml index de6a7c57..275d8616 100644 --- a/ide/utils/configwin.ml +++ b/ide/utils/configwin.ml @@ -1,26 +1,27 @@ -(**************************************************************************) -(* 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 *) -(**************************************************************************) +(*********************************************************************************) +(* Cameleon *) +(* *) +(* Copyright (C) 2005 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 Library 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 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 *) +(* *) +(* Contact: Maxence.Guesdon@inria.fr *) +(* *) +(*********************************************************************************) type parameter_kind = Configwin_types.parameter_kind @@ -35,10 +36,16 @@ type return_button = | Return_ok | Return_cancel -module KeyOption = Configwin_types.KeyOption +let string_to_key = Configwin_types.string_to_key +let key_to_string = Configwin_types.key_to_string +let key_cp_wrapper = Configwin_types.key_cp_wrapper +class key_cp = Configwin_types.key_cp + let string = Configwin_ihm.string +let custom_string = Configwin_ihm.custom_string let text = Configwin_ihm.text +let custom_text = Configwin_ihm.custom_text let strings = Configwin_ihm.strings let list = Configwin_ihm.list let bool = Configwin_ihm.bool @@ -53,20 +60,20 @@ let hotkey = Configwin_ihm.hotkey let modifiers = Configwin_ihm.modifiers let html = Configwin_ihm.html -let edit +let edit ?(apply=(fun () -> ())) - title ?(width=400) ?(height=400) - conf_struct_list = + 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 +let simple_edit ?(apply=(fun () -> ())) - title ?width ?height + 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 +let simple_get = Configwin_ihm.simple_edit ~with_apply: false ~apply: (fun () -> ()) let box = Configwin_ihm.box |