@ret@furry.engineer I used PDT for a few years (https://eclipse.dev/pdt/), then switched to vscode, now codium