Re: [pgAdmin4][Patch]: Allow user to delete Tab via Shift-Tab inquery editor - Mailing list pgadmin-hackers

From Dave Page
Subject Re: [pgAdmin4][Patch]: Allow user to delete Tab via Shift-Tab inquery editor
Date
Msg-id CA+OCxoxjHDaH8EFUuPB5TJi7wsR+zpGoLw3eqc9JCfrLxgidFQ@mail.gmail.com
Whole thread Raw
In response to [pgAdmin4][Patch]: Allow user to delete Tab via Shift-Tab in query editor  (Murtuza Zabuawala <murtuza.zabuawala@enterprisedb.com>)
List pgadmin-hackers
Thanks - applied, along with a doc update.

On Wed, Jul 5, 2017 at 1:38 PM, Murtuza Zabuawala <murtuza.zabuawala@enterprisedb.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

pgadmin-hackers by date:

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