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: | |
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
[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!