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

From: Dave Page <dpage(at)pgadmin(dot)org>
To: Aditya Toshniwal <aditya(dot)toshniwal(at)enterprisedb(dot)com>
Cc: pgadmin-hackers <pgadmin-hackers(at)postgresql(dot)org>
Subject: Re: [pgAdmin4][RM3660] Rename 'SQL Editor' into 'Query Tool' in Preferences
Date: 2018-10-08 10:43:22
Message-ID: CA+OCxow1BUpWopVLm0iq6yczKwH6q_Yo57ygMuM0oinXzEN6VQ@mail.gmail.com
Views: Raw Message | Whole Thread | Download mbox | Resend email
Thread:
Lists: pgadmin-hackers

Thanks, applied.

On Mon, Oct 8, 2018 at 8:07 AM Aditya Toshniwal <
aditya(dot)toshniwal(at)enterprisedb(dot)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

In response to

Responses

Browse pgadmin-hackers by date

  From Date Subject
Next Message Dave Page 2018-10-08 10:48:41 Re: Patch for setting preferences with user id
Previous Message Dave Page 2018-10-08 10:43:15 pgAdmin 4 commit: Rename the 'SQL Editor' section of the Preferences to