Skip to content

Spacing calculation with different fonts #17

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