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 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*

Reply via email to