Re: [pgAdmin][RM4235]: Tab indent on a selection of lines is deleting content - Mailing list pgadmin-hackers

From Akshay Joshi
Subject Re: [pgAdmin][RM4235]: Tab indent on a selection of lines is deleting content
Date
Msg-id CANxoLDetm_tf+n7apPs45wfWJA9DmgDgzm7LbBCNTB1ccOwsGA@mail.gmail.com
Whole thread Raw
In response to Re: [pgAdmin][RM4235]: Tab indent on a selection of lines is deleting content  (Nikhil Mohite <nikhil.mohite@enterprisedb.com>)
List 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 by date:

Previous
From: Akshay Joshi
Date:
Subject: Re: [pgAdmin][RM5287] Dark theme and other CSS related fixes
Next
From: Akshay Joshi
Date:
Subject: Re: [pgAdmin][patch] Dialog width issue