Bug #88008 Line-height is too big
Submitted: 6 Oct 2017 12:03 Modified: 7 Oct 2017 10:27
Reporter: m m Email Updates:
Status: Won't fix Impact on me:
None 
Category:MySQL Workbench: SQL Editor Severity:S3 (Non-critical)
Version:6.3.9 OS:Linux (Manjaro)
Assigned to: CPU Architecture:Any

[6 Oct 2017 12:03] m m
Description:
Line-height in the SQL editor is abnormally big compared to other editors, and it doesn't seem to reflect the font's built-in instructions. It should use font's instructions or be configurable.
Screenshot (Workbench editor vs KWrite): http://i.cubeupload.com/IEIGA4.png

How to repeat:
Visually compare line height in the editor with any other editor
[7 Oct 2017 10:27] Mike Lischke
The line height is as designed and very well readable.
[18 Mar 2019 3:19] marcelo ferreira
I Agree with m m: the line height waste precious space editing code.

MySQL WB 8.0.15 CE - Ubuntu 18.04
[23 Mar 2021 0:29] Chris Smith
Agree! Make it configurable please!