diff options
| author | Pierre-Marie Pédrot | 2018-05-26 20:20:33 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2018-05-26 20:20:33 +0200 |
| commit | 71557d5499fcf78d023eefc8d7a2b7a118b81ed5 (patch) | |
| tree | a54a50a8b7758823709ee776b4825702e3003dcf /ide/utils/configwin.ml | |
| parent | ac2c4bc19afe7d68918cbc6f605a9bcfcdbf0f35 (diff) | |
| parent | 5a564f986b5dcb74e347fbdc571d9e1a9980c2a4 (diff) | |
Merge PR #7543: [ide] Move common protocol library to its own folder/object.
Diffstat (limited to 'ide/utils/configwin.ml')
| -rw-r--r-- | ide/utils/configwin.ml | 51 |
1 files changed, 0 insertions, 51 deletions
diff --git a/ide/utils/configwin.ml b/ide/utils/configwin.ml deleted file mode 100644 index 69e8b647ae..0000000000 --- a/ide/utils/configwin.ml +++ /dev/null @@ -1,51 +0,0 @@ -(*********************************************************************************) -(* 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 - -type configuration_structure = - Configwin_types.configuration_structure = - Section of string * GtkStock.id option * parameter_kind list - | Section_list of string * GtkStock.id option * configuration_structure list - -type return_button = - Configwin_types.return_button = - Return_apply - | Return_ok - | Return_cancel - -let string = Configwin_ihm.string -let strings = Configwin_ihm.strings -let list = Configwin_ihm.list -let bool = Configwin_ihm.bool -let combo = Configwin_ihm.combo -let custom = Configwin_ihm.custom -let modifiers = Configwin_ihm.modifiers - -let edit - ?(apply=(fun () -> ())) - title ?width ?height - conf_struct_list = - Configwin_ihm.edit ~with_apply: true ~apply title ?width ?height conf_struct_list |