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

From Dave Page
Subject Re: [pgAdmin4][RM3660] Rename 'SQL Editor' into 'Query Tool' in Preferences
Date
Msg-id CA+OCxozAQHzZf1qtMB=dMthBor18KbSApBX4o1yakUFQ5SHy+w@mail.gmail.com
Whole thread Raw
In response to Re: [pgAdmin4][RM3660] Rename 'SQL Editor' into 'Query Tool' in Preferences  (Aditya Toshniwal <aditya.toshniwal@enterprisedb.com>)
List pgadmin-hackers
Thanks - applied.

Of course, this makes me think - we'll need to replace all the screenshots soon :-(

On Thu, Oct 11, 2018 at 6:33 AM Aditya Toshniwal <aditya.toshniwal@enterprisedb.com> wrote:
Hi,

Attached is the patch for docs update. 

On Mon, Oct 8, 2018 at 4:13 PM Dave Page <dpage@pgadmin.org> wrote:
Thanks, applied.

On Mon, Oct 8, 2018 at 8:07 AM Aditya Toshniwal <aditya.toshniwal@enterprisedb.com> wrote:
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"


--
Dave Page
Blog: http://pgsnake.blogspot.com
Twitter: @pgsnake

EnterpriseDB UK: http://www.enterprisedb.com
The Enterprise PostgreSQL Company


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


--
Dave Page
Blog: http://pgsnake.blogspot.com
Twitter: @pgsnake

EnterpriseDB UK: http://www.enterprisedb.com
The Enterprise PostgreSQL Company

pgadmin-hackers by date:

Previous
From: Dave Page
Date:
Subject: pgAdmin 4 commit: Doc updates after renaming SQL Editor section ofthe
Next
From: Aditya Toshniwal
Date:
Subject: Re: [pgAdmin4][RM3562] Migrate Bootstrap 3 to Bootstrap 4