Skip to content

Monoid is NOT monospaced #242

@TobiasKnauss

Description

@TobiasKnauss

I downloaded Monoid about a year ago. Today, I noticed at some comments in old code, that the width of some characters actually differs from the width of most other characters.
Take the following text and apply the Monoid font to it:

  //     (X+)                            (X+)
  //      ╔══╗                         ╔══╗
  //      X  Y                         X  Y
  //      XObX                         XObX
  //      ║je║                         ║je║
  //      ║ct║                         ║ct║
  //      ║ 3║                         ║ 3║
  //      o══╝─(Y+)─>                  ╚══o──(Y+)─>
![monoid font](https://user-images.githubusercontent.com/18487427/106360158-3d5f8580-6317-11eb-9906-00c722747d18.png)

The alignment here in GitHub, in MS Word and in VS 2019 look well, if Courier New, Consolas or other monospaced fonts are used.
With Monoid, the vertical alignment of the boxes is broken (Screenshot from MS Word):
monoid font

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