not able to restore settings editor to main window

[meganrogge]

Testing #199023

I had moved an editor group into a new window including a file and the settings UI. From that new window, I moved the file into a new window. I clicked on the window with the settings UI, tried to find the Restore editors command in the command palette, did not see it.

The when must be false here.

[bpasero]

@meganrogge the when clause required here is that the active window is an aux window. Can you reproduce reliably and can provide exactly the steps?

[meganrogge]

I cannot reproduce today.