Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Tab Padding/Margin? #584

Closed
johnallen3d opened this issue May 28, 2018 · 2 comments
Closed

Tab Padding/Margin? #584

johnallen3d opened this issue May 28, 2018 · 2 comments

Comments

@johnallen3d
Copy link

I may be missing something but I can't seem to find any options for padding around tabs. I'm using chunkw (with the border plugin) to indicate the active application and because the tab text is so close to the edge the first character is slightly cut off.

kitty 2018-05-28 11-47-31

Here's my complete kitty.conf.

@johnallen3d
Copy link
Author

Wahoo!!! 🎉 👏 👍

kitty 2018-05-28 12-51-13

@andersfylling
Copy link

Answer: add this to your kitty config "window_padding_width 4"
To whoever else ends up in this issue

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants