From 39bf1b6836d3449764cd05547bc41b6e1a88d16d Mon Sep 17 00:00:00 2001
From: Clément Pit-Claudel
Date: Fri, 31 Jan 2020 11:23:04 -0500
Subject: faces: Extend highlights to EOL to adjust for latest Emacs changes

---
 generic/proof-faces.el | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/generic/proof-faces.el b/generic/proof-faces.el
index 92609d47..115d8667 100644
--- a/generic/proof-faces.el
+++ b/generic/proof-faces.el
@@ -70,9 +70,9 @@ not listed here, you may not get the correct syntax colouring behaviour.")
 
 (defface proof-queue-face
   (proof-face-specs
-   (:background "mistyrose") ;; was "darksalmon" in PG 3.4,3.5
-   (:background "mediumorchid")
-   (:foreground "white" :background "black"))
+   (:background "mistyrose" :extend t) ;; was "darksalmon" in PG 3.4,3.5
+   (:background "mediumorchid" :extend t)
+   (:foreground "white" :background "black" :extend t))
   "*Face for commands in proof script waiting to be processed."
   :group 'proof-faces)
 
@@ -80,9 +80,9 @@ not listed here, you may not get the correct syntax colouring behaviour.")
   (proof-face-specs
    ;; This colour is quite subjective and may be best chosen according
    ;; to the type of display you have.
-   (:background "#eaf8ff")
-   (:background "darkslateblue")
-   (:underline t))
+   (:background "#eaf8ff" :extend t)
+   (:background "darkslateblue" :extend t)
+   (:underline t :extend t))
   "*Face for locked region of proof script (processed commands)."
   :group 'proof-faces)
 
-- 
cgit v1.2.3