[REQUEST] Default padding for panels

[Edward-Knight]

How would you improve Rich?

At the moment panels have no default padding:

>>> from rich import print
>>> from rich.panel import Panel
>>> print(Panel.fit("Hello World!"))
╭────────────╮
│Hello World!│
╰────────────╯

I propose adding a default left and right padding to make the output more aesthetically pleasing:

>>> print(Panel.fit("Hello World!", padding=(0, 1)))
╭──────────────╮
│ Hello World! │
╰──────────────╯

A quirk of most monospace fonts and how characters are often printed in the terminal, means that a padding of (0, 1) gives a more even padding than (0, 0).

What problem does it solved for you?

This can be solved by the user by simply suppling the padding parameter as I have above.

I am aware that this may just be a suggestion to change the default to my personal preference, but I feel that this extra padding means the edge of the text is more evenly centred in the panel than the current default. This would make the default behaviour of rich closer to the default behaviour of many other tools, for example:

HTML <input> box (on Chrome):

HTML <input> box (on Firefox):

Microsoft Word Text Box:

[willmcgugan]

Ok, that seems reasonable.

[Edward-Knight]

Great! I'll put together a small MR later today hopefully

[willmcgugan]

No, need. It's already in my local branch. Should be in v9.0.0

[willmcgugan]

v9.0.0 is in PyPi now.