• mickeyp@alien.topB
    link
    fedilink
    English
    arrow-up
    1
    ·
    1 year ago

    So your complaint is about the non-default behavior? The level 3 was chosen as default explicitly to avoid the abundance of color where it’s not really needed.

    That’s not what I wrote.

    I don’t see that “everything is the same shade”, even with level 4. There are problems - like the variable matcher in particular (which is not useful IMO, but should at least use a different face).

    The variable matcher, indeed, is the one I was talking about…

    Here’s a patch fixing the one problem I found

    I’m glad we’re on the same page.