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.
Please consider the environment before printing this email. This message should be regarded as confidential. If you have received this email in error, please notify the sender and destroy it immediately. Statements of intent shall only become binding when confirmed in hard copy by an authorized signatory. The contents of this email may relate to dealings with other companies under the control of BAE Systems Applied Intelligence Limited, details of which can be found at http://www.baesystems.com/Businesses/index.htm.