CoqIDE: Deactiving the list and string configuration tools.

They rely on gtk2 clist and would need to be changed to list_store.

4 files changed, 14 insertions, 2 deletions

diff --git a/ide/configwin.ml b/ide/configwin.ml
index 24be721631..79a1eae880 100644
--- a/ide/configwin.ml
+++ b/ide/configwin.ml
@@ -37,8 +37,10 @@ type return_button =
   | 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
diff --git a/ide/configwin.mli b/ide/configwin.mli
index 0ee77d69b5..fa22846d19 100644
--- a/ide/configwin.mli
+++ b/ide/configwin.mli
@@ -69,6 +69,7 @@ val string : ?editable: bool -> ?expand: bool -> ?help: string ->
 val bool : ?editable: bool -> ?help: string ->
   ?f: (bool -> unit) -> string -> bool -> parameter_kind
 
+(*
 (** [strings label value] creates a string list parameter.
    @param editable indicate if the value is editable (default is [true]).
    @param help an optional help message.
@@ -119,6 +120,7 @@ val list : ?editable: bool -> ?help: string ->
 		('a -> string list) ->
 		  'a list ->
 		    parameter_kind
+*)
 
 (** [combo label choices value] creates a combo parameter.
    @param editable indicate if the value is editable (default is [true]).
diff --git a/ide/configwin_ihm.ml b/ide/configwin_ihm.ml
index e136c03e60..9fe3d8bb35 100644
--- a/ide/configwin_ihm.ml
+++ b/ide/configwin_ihm.ml
@@ -59,7 +59,7 @@ class type widget =
 
 let debug = false
 let dbg s = if debug then Minilib.log s else ()
-
+(*
 (** This class builds a frame with a clist and two buttons :
    one to add items and one to remove the selected items.
    The class takes in parameter a function used to add items and
@@ -278,6 +278,7 @@ class ['a] list_selection_box
       (* initialize the clist with the listref *)
       self#update !listref
   end;;
+*)
 
 (** This class is used to build a box for a string parameter.*)
 class string_param_box param =
@@ -465,7 +466,7 @@ class modifiers_param_box param =
       else
 	()
   end ;;
-
+(*
 (** This class is used to build a box for a parameter whose values are a list.*)
 class ['a] list_param_box (param : 'a list_param) =
   let _ = dbg "list_param_box" in
@@ -492,6 +493,7 @@ class ['a] list_param_box (param : 'a list_param) =
       param.list_f_apply !listref ;
       param.list_value <- !listref
   end ;;
+*)
 
 (** This class creates a configuration box from a configuration structure *)
 class configuration_box conf_struct =
@@ -683,10 +685,12 @@ let edit ?(with_apply=true)
   in
     iter Return_cancel
 
+(*
 let edit_string l s =
   match GToolbox.input_string ~title: l ~text: s Configwin_messages.mValue with
     None -> s
   | Some s2 -> s2
+*)
 
 (** Create a string param. *)
 let string ?(editable=true) ?(expand=true) ?help ?(f=(fun _ -> ())) label v =
@@ -713,6 +717,7 @@ let bool ?(editable=true) ?help ?(f=(fun _ -> ())) label v =
       bool_f_apply = f ;
     }
 
+(*
 (** Create a list param. *)
 let list ?(editable=true) ?help
     ?(f=(fun (_:'a list) -> ()))
@@ -745,6 +750,7 @@ let strings ?(editable=true) ?help
     ?(eq=Pervasives.(=))
     ?(add=(fun () -> [])) label v =
   list ~editable ?help ~f ~eq ~edit: (edit_string label) ~add label (fun s -> [s]) v
+*)
 
 (** Create a combo param. *)
 let combo ?(editable=true) ?(expand=true) ?help ?(f=(fun _ -> ()))
diff --git a/ide/configwin_ihm.mli b/ide/configwin_ihm.mli
index 772a0958ff..ce6cd4d7c1 100644
--- a/ide/configwin_ihm.mli
+++ b/ide/configwin_ihm.mli
@@ -29,6 +29,7 @@ val string : ?editable: bool -> ?expand: bool -> ?help: string ->
   ?f: (string -> unit) -> string -> string -> parameter_kind
 val bool : ?editable: bool -> ?help: string ->
   ?f: (bool -> unit) -> string -> bool -> parameter_kind
+(*
 val strings : ?editable: bool -> ?help: string ->
   ?f: (string list -> unit) ->
     ?eq: (string -> string -> bool) ->
@@ -45,6 +46,7 @@ val list : ?editable: bool -> ?help: string ->
                 ('a -> string list) ->
                   'a list ->
                     parameter_kind
+*)
 val combo : ?editable: bool -> ?expand: bool -> ?help: string ->
   ?f: (string -> unit) ->
     ?new_allowed: bool -> ?blank_allowed: bool ->