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

Поиск
Список
Период
Сортировка
От Dave Page
Тема Re: [pgAdmin4][RM3660] Rename 'SQL Editor' into 'Query Tool' in Preferences
Дата
Msg-id CA+OCxow1BUpWopVLm0iq6yczKwH6q_Yo57ygMuM0oinXzEN6VQ@mail.gmail.com
обсуждение исходный текст
Ответ на [pgAdmin4][RM3660] Rename 'SQL Editor' into 'Query Tool' in Preferences  (Aditya Toshniwal <aditya.toshniwal@enterprisedb.com>)
Ответы Re: [pgAdmin4][RM3660] Rename 'SQL Editor' into 'Query Tool' in Preferences
Список pgadmin-hackers
Дерево обсуждения
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

В списке pgadmin-hackers по дате отправления:

Предыдущее
От: Dave Page
Дата:
Сообщение: pgAdmin 4 commit: Rename the 'SQL Editor' section of the Preferencesto
Следующее
От: Dave Page
Дата:
Сообщение: Re: Patch for setting preferences with user id