Re: [pgAdmin4][Patch]: To fix Indentation issue in query tool - Mailing list pgadmin-hackers

From Dave Page
Subject Re: [pgAdmin4][Patch]: To fix Indentation issue in query tool
Date
Msg-id CA+OCxoxp5NJshskVOdUkMjBx39HGwA50xqEH+o1B=_2iukVeUw@mail.gmail.com
Whole thread Raw
In response to [pgAdmin4][Patch]: To fix Indentation issue in query tool  (Murtuza Zabuawala <murtuza.zabuawala@enterprisedb.com>)
Responses Re: [pgAdmin4][Patch]: To fix Indentation issue in query tool
List pgadmin-hackers
Hi

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

pgadmin-hackers by date:

Previous
From: Dave Page
Date:
Subject: Re: [pgAdmin4][Patch]: Use https:// to open postgres online help documents
Next
From: Murtuza Zabuawala
Date:
Subject: Re: [pgAdmin4][Patch]: To fix Indentation issue in query tool