Goal Position in VsCoq2

[thery]

Now that goals are automatically scrolled (which is great!). In manual mode it is difficult to figure out quickly if a command has created some subgoals .
Would it be possible to put back the the goal position in the separator between the hypothesis and the conclusion that was in VsCoq1, this was very handy. Something like

[thery]

@rtetley is it supposed to be in 2.0.3. I don't see it

[rtetley]

I see it, however I think I assumed you would not need it in Tab mode... That might have been s bit of a silly assumption ?

[thery]

🕵️ I am in Tab mode ☹️