[pgAdmin4][RM3660] Rename 'SQL Editor' into 'Query Tool' in Preferences - Mailing list pgadmin-hackers

From Aditya Toshniwal
Subject [pgAdmin4][RM3660] Rename 'SQL Editor' into 'Query Tool' in Preferences
Date
Msg-id CAM9w-_m81a3iVoorKQ2wH7NimZC7etaGANY10z1_5OmE3qBK+g@mail.gmail.com
Whole thread Raw
Responses Re: [pgAdmin4][RM3660] Rename 'SQL Editor' into 'Query Tool' in Preferences  (Dave Page <dpage@pgadmin.org>)
List 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

pgadmin-hackers by date:

Previous
From: Aditya Toshniwal
Date:
Subject: [pgAdmin4][RM3562] Migrate Bootstrap 3 to Bootstrap 4
Next
From: Usman Muzaffar
Date:
Subject: Patch for setting preferences with user id