Commit 87e9ce01 authored by Sylvain Dailler's avatar Sylvain Dailler
Browse files

Add customization of foreground colors for error messages.

Black on red was not readable. Colors to be decided.
parent 0ab9f2cd
......@@ -50,6 +50,7 @@ type t =
mutable neg_premise_color : string;
mutable goal_color : string;
mutable error_color : string;
mutable error_color_bg : string;
mutable error_line_color : string;
mutable iconset : string;
(** colors *)
......@@ -83,6 +84,7 @@ type ide = {
ide_neg_premise_color : string;
ide_goal_color : string;
ide_error_color : string;
ide_error_color_bg : string;
ide_error_line_color : string;
ide_iconset : string;
(* ide_replace_prover : conf_replace_prover; *)
......@@ -107,6 +109,7 @@ let default_ide =
ide_premise_color = "chartreuse";
ide_neg_premise_color = "pink";
ide_goal_color = "gold";
ide_error_color_bg = "yellow";
ide_error_color = "red";
ide_error_line_color = "yellow";
ide_iconset = "fatcow";
......@@ -158,6 +161,9 @@ let load_ide section =
ide_error_color =
get_string section ~default:default_ide.ide_error_color
"error_color";
ide_error_color_bg =
get_string section ~default:default_ide.ide_error_color_bg
"error_color_bg";
ide_error_line_color =
get_string section ~default:default_ide.ide_error_line_color
"error_line_color";
......@@ -210,6 +216,7 @@ let load_config config original_config =
neg_premise_color = ide.ide_neg_premise_color;
goal_color = ide.ide_goal_color;
error_color = ide.ide_error_color;
error_color_bg = ide.ide_error_color_bg;
error_line_color = ide.ide_error_line_color;
iconset = ide.ide_iconset;
config = config;
......@@ -254,6 +261,7 @@ let save_config t =
let ide = set_string ide "neg_premise_color" t.neg_premise_color in
let ide = set_string ide "goal_color" t.goal_color in
let ide = set_string ide "error_color" t.error_color in
let ide = set_string ide "error_color_bg" t.error_color_bg in
let ide = set_string ide "error_line_color" t.error_line_color in
let ide = set_string ide "iconset" t.iconset in
let config = Whyconf.set_section config "ide" ide in
......
......@@ -31,6 +31,7 @@ type t =
mutable neg_premise_color : string;
mutable goal_color : string;
mutable error_color : string;
mutable error_color_bg : string;
mutable error_line_color : string;
mutable iconset : string;
mutable config : Whyconf.config;
......
......@@ -254,7 +254,7 @@ let create_colors v =
let error_line_tag (v: GSourceView2.source_view) = v#buffer#create_tag
~name:"error_line_tag" [`BACKGROUND gconfig.error_line_color] in
let error_tag (v: GSourceView2.source_view) = v#buffer#create_tag
~name:"error_tag" [`BACKGROUND gconfig.error_color] in
~name:"error_tag" [`BACKGROUND gconfig.error_color_bg] in
let _ : GText.tag = premise_tag v in
let _ : GText.tag = neg_premise_tag v in
let _ : GText.tag = goal_tag v in
......@@ -954,7 +954,7 @@ let log_zone =
(* Create a tag for errors in the message zone. *)
let message_zone_error_tag = message_zone#buffer#create_tag
~name:"error_tag" [`BACKGROUND gconfig.error_color]
~name:"error_tag" [`BACKGROUND gconfig.error_color_bg; `FOREGROUND gconfig.error_color]
(**** Message-zone printing functions *****)
......
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