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