Deleted databases aren't removed from list

I selected "Manage Databases", did the "Manage.." action for a database, and deleted the database. The database was successfully deleted.

But, when I return to the "Manage Databases" screen, the deleted database is still listed. If I click on the "Manage.." action, I now get this error:

/usr/bin/mysqlshow: Unknown database 'dev3db'

I guess the bug is that the list of databases that the Manage Databases screen lists needs to be refreshed from the actual databases that are in MySQL.

Closed (fixed)