• ulterno@programming.dev
    link
    fedilink
    English
    arrow-up
    2
    ·
    5 days ago
    Expansion dropdowns are nice.

    They make it easier to fit in many errors in a small widget
    and provide the user the option to see the rest of the error right there.
    Then you have the option in the context menu to go to the actual error text.
    I expect these things to be basically available in my IDE