coqide: Add preference for unjustified conclusions’ background color

Alizter · Aug 10, 2024 · 0b8ee14 · 0b8ee14
1 parent ac6aabe
commit 0b8ee14
Show file tree

Hide file tree

Showing 4 changed files with 7 additions and 3 deletions.
diff --git a/ide/coqide/preferences.ml b/ide/coqide/preferences.ml
@@ -498,8 +498,6 @@ let create_tag name default =
   List.iter iter [Tags.Script.table; Tags.Proof.table; Tags.Message.table];
   tags := Util.String.Map.add name pref !tags
 
-(* note these appear to only set the defaults; they don't override
-the user selection from the Edit/Preferences/Tags dialog *)
 let () =
   let iter (name, tag) = create_tag name tag in
   List.iter iter [
@@ -537,8 +535,12 @@ let processing_color =
 let incompletely_processed_color =
   new preference ~name:["incompletely_processed_color"] ~init:"light sky blue" ~repr:Repr.(string)
 
+let unjustified_conclusion_color =
+  new preference ~name:["unjustified_conclusion_color"] ~init:"gold" ~repr:Repr.(string)
+
 let _ = attach_bg processing_color Tags.Script.to_process
 let _ = attach_bg incompletely_processed_color Tags.Script.incomplete
+let _ = attach_bg unjustified_conclusion_color Tags.Script.unjustified
 
 let breakpoint_color =
   new preference ~name:["breakpoint_color"] ~init:"#db5860" ~repr:Repr.(string)

diff --git a/ide/coqide/preferences.mli b/ide/coqide/preferences.mli
@@ -100,6 +100,7 @@ val document_tabs_pos : string preference
 val processing_color : string preference
 val processed_color : string preference
 val incompletely_processed_color : string preference
+val unjustified_conclusion_color : string preference
 val breakpoint_color : string preference
 val db_stopping_point_color : string preference
 val error_color : string preference

diff --git a/ide/coqide/preferences_ui.ml b/ide/coqide/preferences_ui.ml
@@ -542,6 +542,7 @@ let configure ?(apply = fun () -> ()) parent =
       "Processed text", [processed_color];
       "Text being processed", [processing_color];
       "Incompletely processed Qed", [incompletely_processed_color];
+      "Unjustified conclusions", [unjustified_conclusion_color];
       "Breakpoints", [breakpoint_color];
       "Debugger stopping point", [db_stopping_point_color];
       "Errors", [error_color; error_fg_color];

diff --git a/ide/coqide/tags.ml b/ide/coqide/tags.ml
@@ -26,7 +26,7 @@ struct
   let processed = make_tag table ~name:"processed" []
   let debugging = make_tag table ~name:"debugging" []
   let incomplete = make_tag table ~name:"incomplete" [`EDITABLE false]
-  let unjustified = make_tag table ~name:"unjustified" [`BACKGROUND "gold"]
+  let unjustified = make_tag table ~name:"unjustified" []
   let tooltip = make_tag table ~name:"tooltip" [] (* debug:`BACKGROUND "blue" *)
   let ephemere =
     [warning; error; error_bg; to_process; processed; debugging;