Обсуждение: [pgAdmin][RM4235]: Tab indent on a selection of lines is deleting content

Поиск
Список
Период
Сортировка

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

От
Nikhil Mohite
Дата:
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
Вложения

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

От
Akshay Joshi
Дата:
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

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

От
Nikhil Mohite
Дата:
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
Вложения

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

От
Akshay Joshi
Дата:
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