[nongnu] elpa/proof-general c844c00d8c 7/8: qrhl: made `font-lock-extra-managed-props` buffer-local.

[ELPA Syncer]

branch: elpa/proof-general
commit c844c00d8c88120f927dd633c92e042250c69527
Author: Dominique Unruh <unruh@ut.ee>
Commit: Dominique Unruh <unruh@ut.ee>

    qrhl: made `font-lock-extra-managed-props` buffer-local.
---
 qrhl/qrhl.el | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/qrhl/qrhl.el b/qrhl/qrhl.el
index 46f0c8d8fb..d67c575413 100644
--- a/qrhl/qrhl.el
+++ b/qrhl/qrhl.el
@@ -139,7 +139,6 @@ Called before sending CMD to the prover."
   proof-script-font-lock-keywords qrhl-font-lock-keywords
   proof-goals-font-lock-keywords qrhl-font-lock-subsuperscript
   proof-response-font-lock-keywords qrhl-font-lock-keywords
-  font-lock-extra-managed-props '(display)
   proof-shell-unicode t
   proof-script-preprocess #'qrhl-proof-script-preprocess
   )
@@ -229,6 +228,12 @@ Called before sending CMD to the prover."
            (set-input-method qrhl-input-method)
            (setq electric-indent-inhibit t)  ;; Indentation is not reliable 
enough for electric indent
            (setq indent-line-function 'qrhl-indent-line)
+           ;; This ensures that the fontification from 
qrhl-font-lock-subsuperscript is updated correctly
+           ;; when editing text (when re-fontifying).
+           ;; We only add it in qrhl-mode, not qrhl-response-mode or 
qrhl-goals-mode because in the latter two,
+           ;; text is never edited, only replaced as a while, so 
refontification doesn't happen there and
+           ;; is not needed.
+           (setq-local font-lock-extra-managed-props '(display))
            (qrhl-buttonize-buffer)))
 
 (provide 'qrhl)