Open preferences in new tab - Mailing list pgadmin-hackers

Hi Hackers,

I am adding a search box to the preferences. I was also thinking of opening preferences in a tab instead of dialog. Advantages being - less scroll and more space, consistency with other features like user management, processes.

Below is a rough design. Please let me know your thoughts.