pgAdmin 4 commit: Rename the 'SQL Editor' section of the Preferences to

From: Dave Page <dpage(at)pgadmin(dot)org>
To: pgadmin-hackers(at)lists(dot)postgresql(dot)org
Subject: pgAdmin 4 commit: Rename the 'SQL Editor' section of the Preferences to
Date: 2018-10-08 10:43:15
Message-ID: E1g9T0N-0000Fb-0F@gothos.postgresql.org
Views: Raw Message | Whole Thread | Download mbox | Resend email
Thread:
Lists: 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(dot)toshniwal(at)enterprisedb(dot)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(-)

Browse pgadmin-hackers by date

  From Date Subject
Next Message Dave Page 2018-10-08 10:43:22 Re: [pgAdmin4][RM3660] Rename 'SQL Editor' into 'Query Tool' in Preferences
Previous Message Dave Page 2018-10-08 10:35:49 Re: [pgAdmin4][RM3562] Migrate Bootstrap 3 to Bootstrap 4