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

Characters for insertion signs #41

Open
wissenbach opened this issue Jan 31, 2018 · 5 comments
Open

Characters for insertion signs #41

wissenbach opened this issue Jan 31, 2018 · 5 comments
Assignees

Comments

@wissenbach
Copy link
Member

The unicode character for the insertions could be revised, so that it looks something like "insertion┐" or "insertion╮" instead of "insertion⌉". That would change the set of characters we need in our fonts, though. I'm not really up to the state of how final the set of characters is we are allowed to use and what is already included in the fonts. Thoughts?

@gerritbruening
Copy link

Thanks for opening this discussion. I think I like "insertion┐" best.
Don't know whether this is a problem but it seems as if the angle comes with pretty much of whitespace on the right hand side, is this correct?

@thvitt
Copy link
Member

thvitt commented Feb 1, 2018

codepoint character name count mine Gentium Plus Italic Gentium Plus Ubuntu Bold Italic Ubuntu Bold Ubuntu Faust Bold Italic Ubuntu Faust Bold Ubuntu Faust Italic Ubuntu Faust Light Italic Ubuntu Faust Ubuntu Mono Bold Italic Ubuntu Mono Bold Ubuntu Mono Italic Ubuntu Mono Ubuntu Italic Ubuntu
2510 BOX DRAWINGS LIGHT DOWN AND LEFT 1                     SF030000 SF030000 SF030000 SF030000    
256E BOX DRAWINGS LIGHT ARC DOWN AND LEFT 1                                
2309 RIGHT CEILING 1   uni2309 uni2309                          

@wissenbach
Copy link
Member Author

wissenbach commented Feb 1, 2018

Thanks @thvitt . So none of the characters are completely available across our fonts. So maybe that argument would not factor into our choice? @gerritbruening, yes, there seems to be more space on the right hand side, which would maybe obscure the intended point of insertion (the inserted text ist right-aligned with the point of insertion). In summary, the horizontal line is better on the "box drawings" glyphs and the vertical line is better on the "ceiling" glyphs.
ins_box
ins_ceiling
Looking at it, the "box" glyph gives a wrong impression of where the insertion occurs, so I'd say we have to stick with the "ceiling" glyph.

@thvitt
Copy link
Member

thvitt commented Feb 5, 2018

we can add this kind of character to the 'Ubuntu Faust' fonts. I would prefer not to have to touch the Gentium fonts, though.

Another option would be to try and fit in a replacement font for specific unicode ranges (e.g., the block drawing characters) via the CSS's @font declarations – haven't tried this approach, though.

@gerritbruening
Copy link

Not sure whether I understand

In summary, the horizontal line is better on the "box drawings" glyphs and the vertical line is better on the "ceiling" glyphs.

but I think I agree to what you said.

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

3 participants