Window padding in terminal

[raquelhortab]

This is not a bug just an enhancement. When using the terminal, the text is so close to the window edge that it gets cut on the bottom corner and might be difficult to select sometimes.

[JingOS-team]

Hey Raquel! Thanks for mentioning this bug. We have already noticed this and we are finding a way to solve this issue. I'll let you when we make progress on it!