Hi On Mon, Oct 16, 2017 at 5:43 AM, Murtuza Zabuawala < murtuza.zabuaw...@enterprisedb.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
