diff options
| author | David Aspinall | 2009-09-05 18:34:23 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-05 18:34:23 +0000 |
| commit | 97bb69846e88fdb797f4b11c8798e580727a881f (patch) | |
| tree | 4b5bb2e1c6b4af8ca06a70a573a2b3d061bdbbbf /generic/proof-script.el | |
| parent | b2db79436483928d5defb60a4eb70586be510443 (diff) | |
Minor opt
Diffstat (limited to 'generic/proof-script.el')
| -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 |