Skip to content

Make signs thicker #514

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 3 commits into from
Apr 15, 2022
Merged

Make signs thicker #514

merged 3 commits into from
Apr 15, 2022

Conversation

David-Kunz
Copy link
Contributor

Hi 👋 ,

To make the signs more readable, one can use the unicode characters left half block, upper one eighth block and lower one eighth block.

It looks like this:
Screen Shot 2022-04-10 at 11 08 53

Compare it to the default:
Screen Shot 2022-04-10 at 11 09 09

Maybe you want to change the default?

Thanks for looking into it and best regards,
David

@lewis6991
Copy link
Owner

I think I would rather change the default to ┃ which is a little thicker than the current default.

@David-Kunz
Copy link
Contributor Author

David-Kunz commented Apr 15, 2022 •
edited
Loading

Thanks for the feedback, I switched it to the mentioned character, it looks like this:

Screen Shot 2022-04-15 at 17 23 16

@lewis6991 lewis6991 merged commit 5a33f70 into lewis6991:main Apr 15, 2022
@lewis6991
Copy link
Owner

Thanks

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@David-Kunz @lewis6991