Add test that named goal selector doesn't drop focus
Add test that named goal selector doesn't drop focus

This tests that we can't change the code as suggested in https://github.com/coq/coq/issues/12838#issuecomment-955671591

ejgallego/coq,Zimmi48/coq,Zimmi48/coq,Zimmi48/coq,coq/coq,ejgallego/coq,SkySkimmer/coq,Zimmi48/coq,coq/coq,SkySkimmer/coq,ejgallego/coq,ejgallego/coq,coq/coq,SkySkimmer/coq,coq/coq,SkySkimmer/coq