[pgAdmin4][RM3660] Rename 'SQL Editor' into 'Query Tool' in Preferences

From: Aditya Toshniwal <aditya(dot)toshniwal(at)enterprisedb(dot)com>
To: pgadmin-hackers <pgadmin-hackers(at)postgresql(dot)org>
Subject: [pgAdmin4][RM3660] Rename 'SQL Editor' into 'Query Tool' in Preferences
Date: 2018-10-08 07:06:51
Message-ID: CAM9w-_m81a3iVoorKQ2wH7NimZC7etaGANY10z1_5OmE3qBK+g@mail.gmail.com
Views: Raw Message | Whole Thread | Download mbox | Resend email
Thread:
Lists: pgadmin-hackers

Hi Hackers,

Attached is the tiny patch for renaming 'SQL Editor' into 'Query Tool' in
Preferences.

--
Thanks and Regards,
Aditya Toshniwal
Software Engineer | EnterpriseDB Software Solutions | Pune
"Don't Complain about Heat, Plant a tree"

Attachment Content-Type Size
RM3660.patch application/octet-stream 485 bytes

Responses

Browse pgadmin-hackers by date

  From Date Subject
Next Message Usman Muzaffar 2018-10-08 08:07:53 Patch for setting preferences with user id
Previous Message Aditya Toshniwal 2018-10-05 12:51:05 [pgAdmin4][RM3562] Migrate Bootstrap 3 to Bootstrap 4