If I have a lot of documents open (‘open documents’ plugin is used)
and I click the top right ‘x’ to close the current document :
sometimes the wrong document is closed (i.e. not the one I’m currently looking at)
I think ctrl-f4 always works ok….
Thanks for finding this serious bug. I will fix that.