Re: [pgAdmin][RM4235]: Tab indent on a selection of lines is deleting content

Поиск
Список
Период
Сортировка
От Akshay Joshi
Тема Re: [pgAdmin][RM4235]: Tab indent on a selection of lines is deleting content
Дата
Msg-id CANxoLDe11qd1hdZFOUULKUkuti4pf7x_8ohNzfgE5-U5TbUnMg@mail.gmail.com
обсуждение исходный текст
Ответ на [pgAdmin][RM4235]: Tab indent on a selection of lines is deleting content  (Nikhil Mohite <nikhil.mohite@enterprisedb.com>)
Ответы Re: [pgAdmin][RM4235]: Tab indent on a selection of lines is deleting content
Список pgadmin-hackers
Дерево обсуждения
Thanks, patch applied.

On Wed, Jul 1, 2020 at 11:39 AM Nikhil Mohite <nikhil.mohite@enterprisedb.com> wrote:
Hi Team,

I have done fixes for RM-4235.
Details as follows:
1. Resolved issue with tab indent when a user set "use spaces == true" in preferences > Querytool > Editor > Use spaces.
2. Making sure the behavior is the same when "user spaces" setting to "true" or "false".

PFA patch.


Regards,
Nikhil Mohite


--
Thanks & Regards
Akshay Joshi
Sr. Software Architect
EnterpriseDB Software India Private Limited
Mobile: +91 976-788-8246

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