Like an idiot I've managed to pull the edge of a window pane BEHIND THE TAB BAR of another pane, so I can no longer click on it to change the size. I am a foolish end-user.
Restarting pgadmin doesn't reset the sizes of window panes because this is saved somewhere. How do I clear that config or reset it manually?
I have documented my failures in a screenshot, attached.