Rename the 'SQL Editor' section of the Preferences to 'Query Tool' as it applies to the whole tool, not just the editor. Fixes #3660
Branch ------ master Details ------- https://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=26ad6d4c5d43d47999e322f91ff318f052654a5d Author: Aditya Toshniwal <aditya.toshni...@enterprisedb.com> Modified Files -------------- docs/en_US/release_notes_3_5.rst | 2 +- web/pgadmin/tools/sqleditor/__init__.py | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-)