Bug #91874 Schema list not getting updated

Description:
After a while (1-2 hours) the schema list in the "Schemas" sidebar doesn't update. Closing and reopening the server tab doesn't fix it (on connection reopen the schema list is empty). I have to restart the application.

How to repeat:
I was working on creating new tables from other databases like this, for about 1 hour: 

CREATE TABLE schema1 AS
SELECT a ,b, c    
FROM schema2; 

Suggested fix:
I think it's connected to bug https://bugs.mysql.com/bug.php?id=91265

workbench schema navigator empty

Attachment: workbench schema navigator empty 2018-08-02 15_13_00-.png (image/png, text), 26.27 KiB.

Hello Andi Arpo,

Thank you for the bug report.
This is most likely duplicate of Bug #91265, please see Bug #91265

Thanks,
Chiranjeevi.

@Chiranjeevi would you like to comment on why you think this is a duplicate of the results grid bug? 
It might very well be. I don't know if, under the hood, the two are connected. From a user perspective they look like two separate components. 
Also, if it is a duplicate, shouldn't the schema list problem be mentioned in the original bug? If not, eventually, someone will fix the results grid but this might not be looked at.

Thanks

@Chiranjeevi any thoughts on the above? Thanks