Hi
On Mon, Oct 16, 2017 at 5:43 AM, Murtuza Zabuawala <
murtuza(dot)zabuawala(at)enterprisedb(dot)com> wrote:
> Hi,
>
> PFA patch to fix the issue where indentation is not working as expected,
> when user opt for tab based indentation instead of space based indentation.
> RM#2780
>
Shouldn't we just use the use_spaces option here? I don't see any reason
why pressing tab vs. an auto-indent should be any different.
As a sidenote, in sqleditor/__init__.py, both config options are being
defined as "self.use_spaces = ..."
--
Dave Page
Blog: http://pgsnake.blogspot.com
Twitter: @pgsnake
EnterpriseDB UK: http://www.enterprisedb.com
The Enterprise PostgreSQL Company