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.