mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2026-08-27 05:37:46 -05:00
configuration database due to unable to identify the change properly. Thanks Dave for reporting. This also includes a support to use a 'text' type of preference, and show help string next to the control.