Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

style: label styling changes #1144

Open
wants to merge 3 commits into
base: main
Choose a base branch
from
Open

style: label styling changes #1144

wants to merge 3 commits into from

Commits on Apr 9, 2024

  1. fix: Draw variable binding nodes closer to their parents 

    Signed-off-by: George Thomas <[email protected]>
    @georgefst @dhess
    georgefst authored and dhess committed Apr 9, 2024
    Configuration menu
    Copy the full SHA
    f4a3ceb View commit details
    Browse the repository at this point in the history

  2. make labels more explicit, and label styles per-node 

    u
we finally see "match" instead of "m" in expert mode

can we remove "always show labels"?

Signed-off-by: George Thomas <[email protected]>
    @georgefst @dhess
    georgefst authored and dhess committed Apr 9, 2024
    Configuration menu
    Copy the full SHA
    d1d9593 View commit details
    Browse the repository at this point in the history

  3. # 

    ah, we need to stop setting `width = heigth` if we want "match"

should hiding labels include special nodes (typedefs etc.)

note that `flavorIsSyntax` had become always `false`

Signed-off-by: George Thomas <[email protected]>
    @georgefst @dhess
    georgefst authored and dhess committed Apr 9, 2024
    Configuration menu
    Copy the full SHA
    20bb499 View commit details
    Browse the repository at this point in the history