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

Replace some borders in default mac terminal. #2770

Closed
wants to merge 1 commit into from

Conversation

rodrigogiraoserrao
Copy link
Contributor

Related issues: #2658

Replaces 3 terribly-looking borders with decent-looking alternatives.

What all borders look like in the default mac terminal with the default font Menlo Regular 13:

Untitled

@rodrigogiraoserrao rodrigogiraoserrao self-assigned this Jun 12, 2023
@rodrigogiraoserrao rodrigogiraoserrao added the enhancement New feature or request label Jun 12, 2023
@rodrigogiraoserrao
Copy link
Contributor Author

We're parking this for now.
A possible fix seems to be to set the line spacing to a smaller value.

@willmcgugan
Copy link
Collaborator

@rodrigogiraoserrao rodrigogiraoserrao deleted the mac-borders branch September 19, 2023 15:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants