Commit 99045ff2 authored by MARCHE Claude's avatar MARCHE Claude
Browse files

Color chooser widget in preferences

parent f6759b30
...@@ -443,11 +443,18 @@ let preferences c = ...@@ -443,11 +443,18 @@ let preferences c =
(fun () -> c.max_running_processes <- nb_processes_spin#value_as_int) (fun () -> c.max_running_processes <- nb_processes_spin#value_as_int)
in in
(** page 2 **) (** page 2 **)
let label2 = GMisc.label ~text:"Provers" () in let label2 = GMisc.label ~text:"Colors" () in
let _page2 = GMisc.label ~text:"This page should display detected provers" let _page2 = GMisc.color_selection (* ~title:"Goal color" *)
~show:true
~packing:(fun w -> ignore(notebook#append_page ~packing:(fun w -> ignore(notebook#append_page
~tab_label:label2#coerce w)) () ~tab_label:label2#coerce w)) ()
in in
(** page 3 **)
let label3 = GMisc.label ~text:"Provers" () in
let _page3 = GMisc.label ~text:"This page should display detected provers"
~packing:(fun w -> ignore(notebook#append_page
~tab_label:label3#coerce w)) ()
in
(** page 1 **) (** page 1 **)
let display_options_frame = let display_options_frame =
GBin.frame ~label:"Display options" GBin.frame ~label:"Display options"
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment