Skip to content

Spacing calculation with different fonts #17

@geroldmeisinger

Description

@geroldmeisinger

if you define padding and width based on a font (like line-height or m character) how do you calculate the spacing if different proportional fonts are used for different language features and lines?

foobar() {
→   print("hello")↔ // print 
→   myvar = 1↔      /* assign */
}

(lets say we use a different font or even just a different font size for: function header, function call, line comment, assignment, block comment etc.)

or simplified as

m0m
    m1m    m3m
    m2m    m4m

each m could have a completely different width

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