From 18311b7cc64bbe2b271a45d72b4ba2affa5213bd Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Thu, 16 Apr 2020 15:51:15 +0200
Subject: Fix hide/show proof.

Bug described by @MdeLv at:
https://github.com/coq/coq/issues/12088#issuecomment-613266520
---
 generic/pg-user.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/generic/pg-user.el b/generic/pg-user.el
index d2259ef8..f10f02c1 100644
--- a/generic/pg-user.el
+++ b/generic/pg-user.el
@@ -770,7 +770,7 @@ If NUM is negative, move upwards.  Return new span."
    (list (pg-span-name span))
    (list (vector
 	  "Show/hide"
-	  (if idiom (list 'pg-toggle-element-visibility (quote idiom) name))
+          (if idiom (list 'pg-toggle-element-visibility `(quote ,idiom) name))
 	  (not (not idiom))))
    (list (vector
 	  "Copy"       (list 'pg-copy-span-contents span) t))
-- 
cgit v1.2.3