Bug #85391 Query result header row not readable with fonts larger than
Submitted: 9 Mar 2017 14:28 Modified: 9 Mar 2018 16:04
Reporter: Harvey Watson Email Updates:
Status: No Feedback Impact on me:
None 
Category:MySQL Workbench Severity:S4 (Feature request)
Version:6.3.8 Build 1228 OS:Windows (10)
Assigned to: CPU Architecture:Any
Tags: font size, header, wrap cell contents

[9 Mar 2017 14:28] Harvey Watson
Description:
MySQL Workbench query result set header row does not fit when result set font set larger than 10 and does not resize or when wrap cell contents is applied

How to repeat:
set results font size larger than Consolas 10 on 2560x1440. Result rows resize when cell contents are wrapped, but header row font row height remains too small to display header row.

Suggested fix:
Resize header row when larger fonts are used
[9 Feb 2018 16:04] MySQL Verification Team
Thank you for the feature request, please attach a screenshot using Files tab showing the issue. Thanks.
[10 Mar 2018 1:00] Bugs System
No feedback was provided for this bug for over a month, so it is
being suspended automatically. If you are able to provide the
information that was originally requested, please do so and change
the status of the bug back to "Open".