Skip to content

Underline probably gone wrong - does not work in Eclipse #240

@mdykierek

Description

@mdykierek

I am using Monoid in Eclipse IDE.
Unfortunately error and spelling underlining does not work with Monoid.
Probable reason (actually confirmed by playing around) is Underline position being bigger by value than Descent.
It's height is also huge when compared to other fonts.
As a side note - a fraction bigger line spacing would improve readability of the text.

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