Hi Hackers, With pull request https://github.com/EnterpriseDB/wcDocker/pull/7 committed, we can now utilise the LAYOUT_CHANGED event emitted by wcDocker and save the layout if event occurs.
Attached patch contains changes in pgAdmin to use LAYOUT_CHANGED event. The layouts of query tool and debugger will also be saved. Kindly review. -- Thanks and Regards, Aditya Toshniwal Software Engineer | EnterpriseDB Software Solutions | Pune "Don't Complain about Heat, Plant a tree"
RM4084.patch
Description: Binary data
