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

Rename the 'SQL Editor' section of the Preferences to 'Query Tool' as it applies to the whole tool, not just the editor. Fixes #3660

Browse Source
This commit is contained in:
Aditya Toshniwal
2018-10-08 11:43:02 +01:00
committed by Dave Page
parent 87b64cf3c0
commit 26ad6d4c5d
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
docs/en_US/release_notes_3_5.rst
View File

@@ -15,4 +15,4 @@ Features
Bug fixes Bug fixes
********* *********
| | `Bug #3660 <https://redmine.postgresql.org/issues/3660>`_ - Rename the 'SQL Editor' section of the Preferences to 'Query Tool' as it applies to the whole tool, not just the editor.

2
web/pgadmin/tools/sqleditor/__init__.py
View File

@@ -64,7 +64,7 @@ class SqlEditorModule(PgAdminModule):
A module class for SQL Grid derived from PgAdminModule. A module class for SQL Grid derived from PgAdminModule.
""" """
LABEL = gettext("SQL Editor") LABEL = gettext("Query Tool")
def get_own_menuitems(self): def get_own_menuitems(self):
return {'tools': [ return {'tools': [