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
Make up lines even more beautiful #11770
Conversation
Use dashed line from the same Unicode block as other line drawing characters. This ensures that they all are present in the same font, are the same width and align perfectly.
3/4 tests failed because r2r PR was (initially) not rebased on top of master. |
Codecov Report
@@ Coverage Diff @@
## master #11770 +/- ##
==========================================
+ Coverage 37.02% 37.03% +<.01%
==========================================
Files 901 901
Lines 288124 288082 -42
==========================================
- Hits 106692 106688 -4
+ Misses 181432 181394 -38
Continue to review full report at Codecov.
|
What font is this? It looks like it does not have the "box drawing" Unicode block (the lines are way lighter than the font itself). It seems to me that the missing corner and vertical line characters are pulled from one font, and this font does not have dashed vertical line, so it is pulled from yet another font. In #11727 I included screenshots with 4 different monospace fonts that do have characters for the whole "box drawing" Unicode block. You might have noticed that I've removed some of the screenshots from the original comment. That's because I later found out that in the other screenshots the box drawing characters were taken from DejaVu Sans Mono. To summarise: not all fonts have the box drawing characters in the font, but when they do, there's a great chance the whole Unicode block is included. If your favourite font does not have this unicode block then the font substitution must be configured. There's ample information on how to do it on Linux with fontconfig; not sure about MacOS. I still stand by this change and think it's the right thing to do. |
On 9 Oct 2018, at 09:59, Jānis Džeriņš ***@***.***> wrote:
What font is this?
Agave
It looks like it does not have the "box drawing" Unicode block (the lines are way lighter than the font itself). It seems to me that the missing corner and vertical line characters are pulled from one font, and this font does not have dashed vertical line, so it is pulled from yet another font.
Yeah may be the reason. which font do you use?
… In #11727 <#11727> I included screenshots with 4 different monospace fonts that do have characters for the whole "box drawing" Unicode block. You might have noticed that I've removed some of the screenshots from the original comment. That's because I later found out that in the other screenshots the box drawing characters were taken from DejaVu Sans Mono.
To summarise: not all fonts have the box drawing characters in the font, but when they do, there's a great chance the whole Unicode block is included. If your favourite font does not have this unicode block then the font substitution must be configured. There's ample information on how to do it on Linux with fontconfig; not sure about MacOS.
I still stand by this change and think it's the right thing to do.
—
You are receiving this because you modified the open/close state.
Reply to this email directly, view it on GitHub <#11770 (comment)>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AA3-lu_GBU7ioeH2_q9i-2WgdGs9r1Ryks5ujFdQgaJpZM4XMthX>.
|
I use Input: http://input.fontbureau.com/. |
Maybe open a bug in fonts missing those characters?
…On Fri, Oct 12, 2018, 8:39 PM Jānis Džeriņš ***@***.***> wrote:
I use Input: http://input.fontbureau.com/.
—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub
<#11770 (comment)>, or mute
the thread
<https://github.com/notifications/unsubscribe-auth/AAMZ_YSajsAEh9vuOVjDjdMFi8LB_wFOks5ukI2ZgaJpZM4XMthX>
.
|
Font makers are strange copyright creatures. Not sure if we can make it change
… On 13 Oct 2018, at 04:05, Anton Kochkov ***@***.***> wrote:
Maybe open a bug in fonts missing those characters?
On Fri, Oct 12, 2018, 8:39 PM Jānis Džeriņš ***@***.***>
wrote:
> I use Input: http://input.fontbureau.com/.
>
> —
> You are receiving this because you are subscribed to this thread.
> Reply to this email directly, view it on GitHub
> <#11770 (comment)>, or mute
> the thread
> <https://github.com/notifications/unsubscribe-auth/AAMZ_YSajsAEh9vuOVjDjdMFi8LB_wFOks5ukI2ZgaJpZM4XMthX>
> .
>
—
You are receiving this because you modified the open/close state.
Reply to this email directly, view it on GitHub, or mute the thread.
|
Use dashed line from the same Unicode block as other line drawing
characters. This ensures that they all are present in the same font,
are the same width and align perfectly.
Re-opening #11727 according to guidelines.