pgAdmin 4 commit: Rename the 'SQL Editor' section of the Preferencesto - Mailing list pgadmin-hackers

From Dave Page
Subject pgAdmin 4 commit: Rename the 'SQL Editor' section of the Preferencesto
Date
Msg-id E1g9T0N-0000Fb-0F@gothos.postgresql.org
Whole thread Raw
List pgadmin-hackers
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.toshniwal@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(-)


pgadmin-hackers by date:

Previous
From: Dave Page
Date:
Subject: Re: [pgAdmin4][RM3562] Migrate Bootstrap 3 to Bootstrap 4
Next
From: Dave Page
Date:
Subject: Re: [pgAdmin4][RM3660] Rename 'SQL Editor' into 'Query Tool' in Preferences