Обсуждение: [pgAdmin4][RM3660] Rename 'SQL Editor' into 'Query Tool' in Preferences

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"

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

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"