Goals window not refreshing after `Proof.`

[samuelgruetter]

If I open this file,

Goal False.
Proof.

jump to the last line, and hit C-c C-Enter, the goals window remains empty.

Desired behavior: It should show

1 subgoal (ID 1)
  
  ============================
  False

Note that if I process these two commands one by one using C-c C-n, it behaves as expected.

Coq version 8.11.0 PG version: 89829c25b95e59590fcdca0ae0730607d703925b, Mon Jan 20, 2020

/cc @cpitclaudel

[cpitclaudel]

Thanks! @Matafou , shoudn't we be issuing a Show in this case?

[Matafou]

Yes. But we should also fix #458.