Cannot downsize an editor popup window once it's as high as the whole editor

[hakro]

Tested versions

• Reproducible in 4.2 stable, and 4.3 dev

System information

Godot v4.2.1.stable - Ubuntu 22.04 - X11 - GLES3 (Compatibility) - Mesa Intel(R) Graphics (RPL-P) () - 13th Gen Intel(R) Core(TM) i7-13700H (20 Threads)

Issue description

This is an issue in the editor itself. When enabling Single Window Mode in the Editor settings, if you open any window (e.g the Project Settings window), and scale drag it's upper and lower borders respectively up and down, You'll end up with that window as high as the editor itself. However, there is no way to scale it back down by reverting those actions. The scaling cursors do not appear at all. The only thing you can do is drag the popup window left and right. Closing the popup and reopening it does not help, as its state is saved.

2 possible Workarounds :

• Switch Single Window Mode back off, resize the window, then switch it back on if you wish (requires restarting the editor twice)
• Delete your ~/.config/godot/ directory, but that will obviously make you loose all your saved config, so it's not ideal.

Steps to reproduce

• Open the editor and set Single Window Mode to true in Editor settings
• Open Project Settings or any other popup window
• Drag both upper and lower borders of the window to the maximum
• You'll be unable to drag those borders again to scale down the popup window

Minimal reproduction project (MRP)

No need. Any project will do, as this is an editor thing.

[Calinou]

This can probably be resolved by limiting the maximum size of popups to ~95% of the editor window size when in single-window mode, whether they pop up at such a size or are manually resized using handles.