• los0220@lemmy.world
    link
    fedilink
    arrow-up
    1
    ·
    4 hours ago

    micro is nice, I’ve been using it more for the past few months

    And for me, there was no productivity penalty when switching from VSCode, since I didn’t have to learn all new keybinds (still lacks a bit of multicursor, tho)