Terminal padding not equal
Bug
First: this bug is so small that it's hardly justified to create a bug report for it.
Forgive me for my nitpicking
But the 'bug' is as follows:
The padding at the top and left side of the terminal is not equal.
Steps to Reproduce
- Set the padding of the terminal to e.g. 20 pixels.
- Look at the terminal
- The padding at the top is bit higher than the padding at the left.
Expected Outcome
I expect the padding at the top and left side to be the same
Actual Outcome
The padding at the top is +/- 7 pixels higher.
Video or Screenshot
In the screenshot you can see a grey square of 20 pixels. To the left of the square is 3px and to the top 10px. So the difference is 7 pixels.
Note
In terms of functionality this bug report is not important at all, but it terms of aesthetics it is
Edited by Verhoeckx