Log In  


Here's an example of trying to add a continuous underscore to the #font_snippet alternate font. Printing works fine with \014\f7 but the font gets clipped by 1px on the right with \014\#1\f7
(color is irrelevant; the inclusion of \#(number) triggers it.

EDIT: see below for the fix.



Ah, wait... \^-b has to be done. I guess \# manifests the "border" so it has to be explicitly disabled. This somehow feels the opposite of expectation to me; shouldn't we opt in to the extra decoration a border provides?

However, if we do \^i we want the border. However we receive a per-character border, not per-span, which re-manifests an unwanted gap between characters again.

print("\014\f7under")
print("\014\#1\f7\^-bunder")
print("\014\^iunder")

results in



[Please log in to post a comment]