Re: [pgAdmin4][Patch]: To fix Indentation issue in query tool

Поиск
Список
Период
Сортировка
От Dave Page
Тема Re: [pgAdmin4][Patch]: To fix Indentation issue in query tool
Дата
Msg-id CA+OCxoxp5NJshskVOdUkMjBx39HGwA50xqEH+o1B=_2iukVeUw@mail.gmail.com
обсуждение исходный текст
Ответ на [pgAdmin4][Patch]: To fix Indentation issue in query tool  (Murtuza Zabuawala <murtuza.zabuawala@enterprisedb.com>)
Ответы Re: [pgAdmin4][Patch]: To fix Indentation issue in query tool
Список 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 по дате отправления:

Предыдущее
От: Dave Page
Дата:
Сообщение: Re: [pgAdmin4][Patch]: Use https:// to open postgres online help documents
Следующее
От: Murtuza Zabuawala
Дата:
Сообщение: Re: [pgAdmin4][Patch]: To fix Indentation issue in query tool