From 26ad6d4c5d43d47999e322f91ff318f052654a5d Mon Sep 17 00:00:00 2001 From: Aditya Toshniwal Date: Mon, 8 Oct 2018 11:43:02 +0100 Subject: [PATCH] Rename the 'SQL Editor' section of the Preferences to 'Query Tool' as it applies to the whole tool, not just the editor. Fixes #3660 --- docs/en_US/release_notes_3_5.rst | 2 +- web/pgadmin/tools/sqleditor/__init__.py | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/en_US/release_notes_3_5.rst b/docs/en_US/release_notes_3_5.rst index fdd58ebcd..15b79c858 100644 --- a/docs/en_US/release_notes_3_5.rst +++ b/docs/en_US/release_notes_3_5.rst @@ -15,4 +15,4 @@ Features Bug fixes ********* -| \ No newline at end of file +| `Bug #3660 `_ - Rename the 'SQL Editor' section of the Preferences to 'Query Tool' as it applies to the whole tool, not just the editor. \ No newline at end of file diff --git a/web/pgadmin/tools/sqleditor/__init__.py b/web/pgadmin/tools/sqleditor/__init__.py index f09ff274d..43e1a0940 100644 --- a/web/pgadmin/tools/sqleditor/__init__.py +++ b/web/pgadmin/tools/sqleditor/__init__.py @@ -64,7 +64,7 @@ class SqlEditorModule(PgAdminModule): A module class for SQL Grid derived from PgAdminModule. """ - LABEL = gettext("SQL Editor") + LABEL = gettext("Query Tool") def get_own_menuitems(self): return {'tools': [