Database manager: Make Refresh button refresh schema

The refresh button in the database manager may cause confusion for beginners, as it doesn’t refresh the schema:

Screenshot758×276 19.4 KB

To refresh the schema, the following button must be used instead:

Screenshot728×542 40.4 KB

Here’s a bug report I found: