Branch: refs/heads/master
Home: https://github.com/pgadmin-org/pgadmin4
Commit: 993e1eb1b6eb9969b08f19d97cb71ba485a62e25
https://github.com/pgadmin-org/pgadmin4/commit/993e1eb1b6eb9969b08f19d97cb71ba485a62e25
Author: Yogesh Mahajan <yogesh(dot)mahajan(at)enterprisedb(dot)com>
Date: 2023-04-13 (Thu, 13 Apr 2023)
Changed paths:
M docs/en_US/images/preferences_sql_results_grid.png
M docs/en_US/preferences.rst
M web/pgadmin/tools/sqleditor/__init__.py
M web/pgadmin/tools/sqleditor/utils/query_tool_preferences.py
M web/regression/runtests.py
Log Message:
-----------
Allow on demand record count setting to be changed per user using preferences. #3275