fix: corner case where "Show." was not triggered.

Coq script example to reproduce:

--8<---------------cut here---------------start------------->8---
Set Nested Proofs Allowed.
Lemma foo : True /\ 1 = 1.
  split.              (*2*)
  easy.
  Goal True /\ 2 = 2. (*1-bug*)
  Proof.              (*1-ok*)

  split; easy.
  Qed.
  easy.
Qed.
--8<---------------cut here---------------end--------------->8---

1. goto-point (*1-bug*) (just before the comment)
2. goto-point (*2*) (bug: the goal is not shown)

3. goto-point (*1-ok*) (just after "Proof.")
4. goto-point (*2*) (no bug)

0 files changed, 0 insertions, 0 deletions