Increasing font size in Open Workbench does not increase row height