Query Tool: On demand record count (ON_DEMAND_RECORD_COUNT) setting should be in preferences rather than config file (RM #5132) #3275
Description
Issue migrated from Redmine: https://redmine.postgresql.org/issues/5132
Originally created by Khushboo Vashi at 2020-01-29 05:54:46 UTC.