[nongnu] elpa/proof-general 232c7ccae1 18/25: qrhl: Ensure UTF-8 via `proof-shell-unicode` instead of `set-language-environment`.

[ELPA Syncer]

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

    qrhl: Ensure UTF-8 via `proof-shell-unicode` instead of 
`set-language-environment`.
---
 qrhl/qrhl.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/qrhl/qrhl.el b/qrhl/qrhl.el
index 3c15079f67..bf3a14e74f 100644
--- a/qrhl/qrhl.el
+++ b/qrhl/qrhl.el
@@ -99,6 +99,7 @@
                   proof-script-font-lock-keywords qrhl-font-lock-keywords
                   proof-goals-font-lock-keywords qrhl-font-lock-keywords
                   proof-response-font-lock-keywords qrhl-font-lock-keywords
+                  proof-shell-unicode t
                   )
 
 ; buttoning functions follow https://superuser.com/a/331896/748969
@@ -121,7 +122,6 @@
 (add-hook 'qrhl-mode-hook
          (lambda ()
            (set-input-method qrhl-input-method)
-           (set-language-environment "UTF-8")
            (set-variable 'electric-indent-mode nil t)
            (qrhl-buttonize-buffer)))