Re: Open preferences in new tab
Hi Usman,
I'm not entirely sure how it will work since there can be limitations. But what I'm trying to do is upon typing for search:
1. Only filtered items will be visible.
2. Left tree will show only those items which have the filtered items.
On Thu, May 22, 2025 at 1:16 PM Usman Khan <umk555@gmail.com> wrote:
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.toshniwal@enterprisedb.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.--Thanks,Aditya Toshniwal"Don't Complain about Heat, Plant a TREE"
Thanks,
Aditya Toshniwal
"Don't Complain about Heat, Plant a TREE"
Вложения
В списке pgadmin-hackers по дате отправления: