mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2026-11-01 15:53:03 -06:00
aciTree. Also - fixed few CSS specifically for the preferences dialog. Returning the sorted preferences from the server, so that - it lists down in correct order.