Feature Request: improve default profile padding #1818

Open
opened 2026-01-30 22:37:25 +00:00 by claunia · 0 comments
Owner

Originally created by @yodurr on GitHub (Jun 21, 2019).

The default profiles have a 0,0,0,0 padding and it doesn't look good pinned against so tight against the window frame.

Recommend changing the default to indent to 4,2,0,0. Curious what others use for their preferred padding.

I'll submit the PR (along with potentially other default profile changes that seem like forward progress)

Originally created by @yodurr on GitHub (Jun 21, 2019). The default profiles have a 0,0,0,0 padding and it doesn't look good pinned against so tight against the window frame. Recommend changing the default to indent to 4,2,0,0. Curious what others use for their preferred padding. I'll submit the PR (along with potentially other default profile changes that seem like forward progress)
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/terminal#1818