updating mysql workbench floating