Skip to content

Make pipe | shorter #843

@tonsky

Description

@tonsky

Thanks for the good work. But in my personal opinion, the new | seems too tall in normal code. Now the || is way taller than &&, which seems inconsistent. Also, some related ligatures is inconsistent to this taller |, like |=

2019-09-15_11-24-04


EDIT: I'm talking about the ASCII symbol | (U+007C) instead of the BOX DRAWINGS LIGHT VERTICAL (U+2502). In v2.0, the | (U+007C) becomes taller, which I think is a mistake.

Originally posted by @blahgeek in #449 (comment)

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions