On Thu, Jul 13, 2017 at 11:09 AM, Neel Patel <neel.pa...@enterprisedb.com>
> Please find attached patch file for the fix of below issue in runtime.
> RM #2558 - Tab bar on main window vanishes when closing child via
> tab button
> I have tested with all 3 platforms. Do review it and let me know for
> Neel Patel
EnterpriseDB UK: http://www.enterprisedb.com
The Enterprise PostgreSQL Company