diff options
| -rw-r--r-- | generic/proof-script.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 4a6bad25..7b624b34 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -655,7 +655,7 @@ Optional argument NOHIGHLIGHT means do not add highlight mouse face property." (point)))) (span-make newstart (span-end span))))) (setq helpmsg - (concat (if (> (length proofstate) 2) "" helpmsg) + (concat (if (<= (length proofstate) 2) helpmsg) proofstate)) (span-set-property newspan 'pghelp t) (if pg-show-hints ;; only message in minibuf if hints on |