From 09aab35f45b4da30f2171b7477211fb88ffecd22 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Tue, 17 Feb 2015 10:12:25 +0100
Subject: CoqIDE: read-only Qed sentence reflected in colors (Close: 4051)

---
 ide/coqide.ml | 5 +++++
 ide/tags.ml   | 5 ++++-
 2 files changed, 9 insertions(+), 1 deletion(-)

(limited to 'ide')

diff --git a/ide/coqide.ml b/ide/coqide.ml
index 5aac8f2a18..29fc27baa7 100644
--- a/ide/coqide.ml
+++ b/ide/coqide.ml
@@ -1333,6 +1333,11 @@ let build_ui () =
       (Gdk.Bitmap.create_from_data ~width:2 ~height:2 "\x01\x02"));
   Tags.Script.incomplete#set_property
     (`BACKGROUND_GDK (Tags.get_processed_color ())); 
+  Tags.Script.read_only#set_property
+    (`BACKGROUND_STIPPLE
+      (Gdk.Bitmap.create_from_data ~width:2 ~height:2 "\x01\x02"));
+  Tags.Script.read_only#set_property
+    (`BACKGROUND_GDK (Tags.get_processed_color ())); 
 
   (* Showtime ! *)
   w#show ()
diff --git a/ide/tags.ml b/ide/tags.ml
index 079cf94853..d4460b0770 100644
--- a/ide/tags.ml
+++ b/ide/tags.ml
@@ -52,7 +52,9 @@ struct
     t
   let all = edit_zone :: all
   
-  let read_only = make_tag table ~name:"read_only" [`EDITABLE false ]
+  let read_only = make_tag table ~name:"read_only" [`EDITABLE false;
+          `BACKGROUND !processing_color;
+          `BACKGROUND_STIPPLE_SET true ]
 
 end
 module Proof =
@@ -94,6 +96,7 @@ let set_processing_color clr =
   let s = string_of_color clr in
   processing_color := s;
   Script.incomplete#set_property (`BACKGROUND s);
+  Script.read_only#set_property (`BACKGROUND s);
   Script.to_process#set_property (`BACKGROUND s)
 
 let get_error_color () = color_of_string !error_color
-- 
cgit v1.2.3