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

2020-07-02 Thread Akshay Joshi
Thanks, patch applied. On Fri, Jul 3, 2020 at 10:03 AM Nikhil Mohite < nikhil.moh...@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

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

2020-07-02 Thread 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 wrote: > Thanks, patch applied. > > On Wed, J

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

2020-07-01 Thread Akshay Joshi
Thanks, patch applied. On Wed, Jul 1, 2020 at 11:39 AM Nikhil Mohite < nikhil.moh...@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 sp

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

2020-06-30 Thread 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, Nikhi