Thanks, patch applied.
On Mon, Jan 29, 2018 at 12:36 PM, Murtuza Zabuawala <
murtuza(dot)zabuawala(at)enterprisedb(dot)com> wrote:
> Hi,
>
> PFA patch to fix the issue where user were not able to execute query by
> pressing F5 key after cancelling the query.
> RM#3054
>
> Also fixed the similar issue when user press open/save dialog & clear
> editor window options.
>
> --
> 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