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 patchRegards,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 & RegardsAkshay JoshiSr. Software ArchitectEnterpriseDB Software India Private LimitedMobile: +91 976-788-8246
Thanks & Regards
Akshay Joshi
Sr. Software Architect
EnterpriseDB Software India Private Limited
Mobile: +91 976-788-8246
В списке pgadmin-hackers по дате отправления: