Re: [pgAdmin4][Patch]: Allow user to delete Tab via Shift-Tab in query editor

From: Dave Page <dpage(at)pgadmin(dot)org>
To: Murtuza Zabuawala <murtuza(dot)zabuawala(at)enterprisedb(dot)com>
Cc: pgadmin-hackers <pgadmin-hackers(at)postgresql(dot)org>
Subject: Re: [pgAdmin4][Patch]: Allow user to delete Tab via Shift-Tab in query editor
Date: 2017-07-05 13:20:40
Message-ID: CA+OCxoxjHDaH8EFUuPB5TJi7wsR+zpGoLw3eqc9JCfrLxgidFQ@mail.gmail.com
Views: Raw Message | Whole Thread | Download mbox | Resend email
Thread:
Lists: pgadmin-hackers

Thanks - applied, along with a doc update.

On Wed, Jul 5, 2017 at 1:38 PM, Murtuza Zabuawala <
murtuza(dot)zabuawala(at)enterprisedb(dot)com> wrote:

> Hi,
>
> PFA minor patch which will add functionality to allow user to delete
> Tab(s) using Shift-Tab keys.
> RM#1988
>
> --
> Regards,
> Murtuza Zabuawala
> EnterpriseDB: http://www.enterprisedb.com
> The Enterprise PostgreSQL Company
>

--
Dave Page
Blog: http://pgsnake.blogspot.com
Twitter: @pgsnake

EnterpriseDB UK: http://www.enterprisedb.com
The Enterprise PostgreSQL Company

In response to

Browse pgadmin-hackers by date

  From Date Subject
Next Message Matthew Kleiman 2017-07-05 13:54:07 Re: [pgAdmin4][Patch]: Refactor of the History Tab
Previous Message Dave Page 2017-07-05 13:20:23 pgAdmin 4 commit: Allow use of Shift+Tab to un-indent selected text. Fi