IntenseWebs/pgadmin4
3
0
Fork 0
mirror of https://github.com/pgadmin-org/pgadmin4.git synced 2025-02-25 18:55:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

Allow user to set the minimum value to 1 from preferences for ON_DEMAND_ROW_COUNT

Browse Source
This commit is contained in:
Akshay Joshi 2023-05-03 12:37:37 +05:30
parent 4fc49390ed
commit cba42ef277
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
web/pgadmin/tools/sqleditor/utils/query_tool_preferences.py
View File

@ -296,7 +296,7 @@ def register_query_tool_preferences(self):
self.on_demand_record_count = self.preference.register(
'Results_grid', 'on_demand_record_count',
gettext("On demand record count"), 'integer', ON_DEMAND_RECORD_COUNT,
min_val=100,
min_val=1,
category_label=PREF_LABEL_RESULTS_GRID,
help_str=gettext('Specify the number of records to fetch in one batch '
'in query tool when query result set is large. '