IntenseWebs/pgadmin4
3
0 Fork 0
mirror of https://github.com/pgadmin-org/pgadmin4.git synced 2026-11-03 04:40:18 -06:00
Code Issues Packages Projects Releases Wiki Activity
Files
de48d4ecda030e34d708a9709087685c068646f0
pgadmin4/docs/en_US/images/preferences_erd_options.png
T
Aditya Toshniwal 1e0e9c4f7d 1) Open preferences in a new tab instead of a dialog for better user experience. #6743 
2) Add a search box to enable searching within the preferences tab. #2864
2025-06-12 19:03:54 +05:30

141 KiB
950x650px
Raw History

/IntenseWebs/pgadmin4/raw/commit/de48d4ecda030e34d708a9709087685c068646f0/docs/en_US/images/preferences_erd_options.png
Reference in new issue View Git Blame Copy Permalink