You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
-- 处理尾部的不可见结点
n = node_tail(n)
while n and not is_visible_node(n) do
if n.id == glue_id and to_remove_glues[n.subtype] then
width_dropdown = width_dropdown + n.width
n = n.prev
l.head, _ = node_remove(l.head, n.next, true)
else
n = n.prev
end
end
两行夹注不一样长,看起来不太美观,尤其是没有占满整行的情况下,如果能对齐上下两行比较好。
另外由于凸排的存在,夹注所占空间的长度可能会小于显示字符真正所需,导致与后续字符重叠。
The text was updated successfully, but these errors were encountered: