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 CANxoLDetm_tf+n7apPs45wfWJA9DmgDgzm7LbBCNTB1ccOwsGA@mail.gmail.com
обсуждение исходный текст
Ответ на Re: [pgAdmin][RM4235]: Tab indent on a selection of lines is deleting content  (Nikhil Mohite <nikhil.mohite@enterprisedb.com>)
Список pgadmin-hackers
Thanks, patch applied.

On Fri, Jul 3, 2020 at 10:03 AM Nikhil Mohite <nikhil.mohite@enterprisedb.com> wrote:
Hi Team,

I have removed duplicate code for codemirror settings.
This will also resolve the issue with autocomplete is not working in the query tool due to earlier fixes.

PFA patch

Regards,
Nikhil Mohite.

On Wed, Jul 1, 2020 at 1:55 PM Akshay Joshi <akshay.joshi@enterprisedb.com> wrote:
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


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

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

Предыдущее
От: Akshay Joshi
Дата:
Сообщение: Re: [pgAdmin][RM5287] Dark theme and other CSS related fixes
Следующее
От: Akshay Joshi
Дата:
Сообщение: Re: [pgAdmin][patch] Dialog width issue