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
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
pgadmin-hackers by date:
Соглашаюсь с условиями обработки персональных данных