Commit 035bb826 authored by MARCHE Claude's avatar MARCHE Claude

renamed newmain.ml into gmain.ml

parent 63b26ce4
...@@ -428,7 +428,7 @@ install_local: bin/why3config ...@@ -428,7 +428,7 @@ install_local: bin/why3config
ifeq (@enable_ide@,yes) ifeq (@enable_ide@,yes)
IDE_FILES = xml termcode session gconfig newmain IDE_FILES = xml termcode session gconfig gmain
IDEMODULES = $(addprefix src/ide/, $(IDE_FILES)) IDEMODULES = $(addprefix src/ide/, $(IDE_FILES))
......
...@@ -444,11 +444,18 @@ let preferences c = ...@@ -444,11 +444,18 @@ let preferences c =
in in
(** page 2 **) (** page 2 **)
let label2 = GMisc.label ~text:"Colors" () in let label2 = GMisc.label ~text:"Colors" () in
let _page2 = GMisc.color_selection (* ~title:"Goal color" *) let _color_sel = GMisc.color_selection (* ~title:"Goal color" *)
~show:true ~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
(*
let (_ : GtkSignal.id) =
color_sel#connect ColorSelection.S.color_changed ~callback:
(fun _ -> Format.eprintf "Gconfig.color_sel : %s@."
c)
in
*)
(** page 3 **) (** page 3 **)
let label3 = GMisc.label ~text:"Provers" () in let label3 = GMisc.label ~text:"Provers" () in
let _page3 = GMisc.label ~text:"This page should display detected provers" let _page3 = GMisc.label ~text:"This page should display detected provers"
......
...@@ -1164,7 +1164,7 @@ let reload_root_goal ~allow_obsolete mth tname old_goals t : goal = ...@@ -1164,7 +1164,7 @@ let reload_root_goal ~allow_obsolete mth tname old_goals t : goal =
in in
if goal_obsolete then if goal_obsolete then
begin begin
eprintf "[Reload] Goal %s.%s has changed@." tname gname; eprintf "[Reload] Goal %s.%s has changed@\n" tname gname;
if allow_obsolete then if allow_obsolete then
found_obsolete := true found_obsolete := true
else else
......
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