Re: Open preferences in new tab

Hi Aditya,

This is a useful feature and much needed as well, Can you briefly explain
how the search would work, for example if someone search for a term like
'maximum', will it highlight all matching options in the left panel or
would it jump to the first matched option?

On Thu, May 22, 2025 at 12:02 PM Aditya Toshniwal <
aditya(dot)toshniwal(at)enterprisedb(dot)com> wrote:

> 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.
>
> [image: image.png]
>
>
> --
> Thanks,
> Aditya Toshniwal
> pgAdmin Hacker | Sr. Staff SDE II | *enterprisedb.com*
> <https://www.enterprisedb.com/>
> "Don't Complain about Heat, Plant a TREE"
>