Thanks - applied. That was an annoying little bug! On Mon, Dec 3, 2018 at 7:53 AM Aditya Toshniwal <[email protected]> wrote: > > Hi Hackers, > > Attached is the patch to fix the issue where browser toolbar buttons were not > visible occasionally. > > Kindly review. > > -- > Thanks and Regards, > Aditya Toshniwal > Software Engineer | EnterpriseDB Software Solutions | Pune > "Don't Complain about Heat, Plant a tree"
-- Dave Page Blog: http://pgsnake.blogspot.com Twitter: @pgsnake EnterpriseDB UK: http://www.enterprisedb.com The Enterprise PostgreSQL Company
