Skip to content

bug: right-to-left "hello" messages are shown as left-to-right #657

@vegerot

Description

@vegerot

When running :COQnow, coq will print "hello" in a random langauge. However, for right-to-left languages like Hebrew, the text shows up as left-to-right:

image

I can see that the source is right-to-left

- "שלום" # Hebrew

but it's getting displayed as left-to-right.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions